El Principio de Resolución de Robinson en prueba automática
Por favor, use este identificador para citas ou ligazóns a este ítem:
http://hdl.handle.net/10347/919
Ficheiros no ítem
Metadatos do ítem
Título: | El Principio de Resolución de Robinson en prueba automática |
Autor/a: | Martínez Vidal, Concepción |
Palabras chave: | Teoremas -- Demostración automática | |
Data: | 1985-01 |
Editor: | Universidade de Santiago de Compostela. Servizo de Publicacións e Intercambio Científico |
Cita bibliográfica: | 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 |
URI: | http://hdl.handle.net/10347/919 |
ISSN: | 0211-6642 |
Coleccións
-
- AG/005-Vol 5, Núm 1 (1985) [22]
- FAS-Artigos [206]