On Logical Fiberings and Automated Deduction in any-valued Logics Using Gröbner Bases

• Autores: J. Pfalzgraf
• 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. 213
• Idioma: inglés
• Enlaces
  • Texto completo (pdf)