RT Journal Article
T1 El Principio de Resolución de Robinson en prueba automática
A1 Martínez Vidal, Concha
K1 Teoremas -- Demostración automática
PB Universidade de Santiago de Compostela. Servizo de Publicacións e Intercambio Científico
SN 0211-6642
YR 1985
FD 1985-01
LK http://hdl.handle.net/10347/919
UL http://hdl.handle.net/10347/919
LA spa
NO MARTÍNEZ VIDAL, Concepción.: «El Principio de Resolución de Robinson en prueba automática», Ágora : Papeles de Filosofía, ISSN 0211-6642, Vol. 5 (1985), 213-225
DS Minerva
RD 28 abr 2026