Instituciones
Periodo de publicación recogido
|
|
|
Deduction in many-valued logics: a survey
Reiner Hähnle, Gonzalo Escalada Imaz
Mathware & soft computing: The Magazine of the European Society for Fuzzy Logic and Technology, ISSN-e 1134-5632, Vol. 4, Nº. 2, 1997, págs. 69-97
Principios de programación lógica con información incierta: Descripción de algunos de los sistemas más relevantes
Alejandro Sobrino, Gonzalo Escalada Imaz, Felip Manyà Serres
Theoria: an international journal for theory, history and foundations of science, ISSN 0495-4548, Vol. 11, Nº 27, 1996, págs. 123-148
Gonzalo Escalada Imaz, Ana María Martínez Enríquez
Informática y automática: revista de la Asociación Española de Informática y Automática, ISSN 0214-932X, Vol. 27, Nº. 3, 1994, págs. 23-30
El Problema de satisfacibilidad en cláusulas de Horn multivaluadas
Gonzalo Escalada Imaz
Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº 108, 1994, pág. 11
A proof procedure for regular CNF-formulas
Felip Manyà Serres, Gonzalo Escalada Imaz
CAEPIA'97: actas / coord. por Asociación Española de Inteligencia Artificial, Vicente J. Botti Navarro, 1997, ISBN 84-8498-765-5, págs. 285-295
On multiple-valued logic programming
Gonzalo Escalada Imaz, Felip Manyà Serres
Estudios sobre programación lógica y sus aplicaciones / Verónica Dahl (ed. lit.), Alejandro Sobrino (ed. lit.), 1996, ISBN 84-8121-399-3, págs. 387-419
Proof procedures for multiple-valued propositional logics
Tesis doctoral dirigida por Gonzalo Escalada Imaz (dir. tes.). Universitat Autònoma de Barcelona (1997).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados