Martínez Vidal, Concha2010-01-252010-01-251985-01MARTÍ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-2250211-6642http://hdl.handle.net/10347/919spaTeoremas -- Demostración automáticaEl Principio de Resolución de Robinson en prueba automáticajournal articleopen access