Evolución de la prueba automática de teoremas lógicos

Autores: José Antonio López Brugos
Localización: Simposio Hispano-Mexicano de Filosofía: Salamanca, Octubre 1984 / Sebastián Álvarez Toledo (comp.), Fernando Broncano (comp.) , Miguel Ángel Quintanilla Fisac (comp.) , Vol. 2, 1986 (Lógica y filosofía del lenguaje), ISBN 84-7481-386-7, págs. 116-138
Idioma: español
Texto completo no disponible (Saber más ...)