Taclets: A New Paradigm for Constructing Interactive Theorem Provers

• Autores: B. Beckert
• Localización: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas ( RACSAM ), ISSN-e 1578-7303, Vol. 98, Nº. 1-2, 2004 (Ejemplar dedicado a: Computación simbólica en Lógica e Inteligencia artificial), pág. 17
• Idioma: inglés
• Enlaces
  • Texto completo (pdf)