Razonamiento automático en lógica de primer orden

• Autores: Francisco Javier Herrera Govantes , José Antonio Alonso Jiménez , Delia Balbontín Noval , Juan José Arrabal Parrilla
• Localización: Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992) / coord. por Carlos Martín Vide , 1992, ISBN 84-477-0002-X, págs. 165-172
• Idioma: español
• Texto completo no disponible (Saber más ...)