Representación del conocimiento de un probador automático de teoremas

• Autores: José Pedro Úbeda Rives
• Localización: Congress Formal Theories and Empirical Theories: Foundational, Ontosemantic and Pragmatic Aspects = Congreso Teorías formales y teorías Empíricas : Aspectos fundacionales, ontosemánticos y pragmáticos : Santiago de Compostela, 14-16 de noviembre de 2001 / coord. por José Miguel Sagüillo Fernández-Vega, José L. Falguera López, Concepción Martínez Vidal, 2001, ISBN 84-8121-960-6, págs. 517-530
• Idioma: español
• Texto completo no disponible (Saber más ...)