Lógica, representación del conocimiento y verificación formal

• Autores: José Meseguer
• Localización: Inteligencia y filosofía / coord. por Manuel Oriol Salgado, 2012, ISBN 978-84-269-0467-6, págs. 25-54
• Idioma: español
• Texto completo no disponible (Saber más ...)