Showing 1 - 2 results of 2 for search 'Alferes, José Júlio, 1966-', query time: 0.02s
Refine Results
-
1
Reasoning with logic programming / by Alferes, José Júlio, 1966-
Published 1996Call Number: Loading…
Located: Loading…Book Loading… -
2
Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings /
Published 1996Other Authors: “…Alferes, José Júlio, 1966-…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Logic programming
Artificial intelligence
Artificial intelligence-Learning
Deducción y prueba de teoremas
Deduction and theorem proving
Formal languages
Inteligencia artificial
Inteligencia artificial-Aprendizaje
Knowledge representation formalisms and method frames and scripts
Lenguajes de programación
Lenguajes de programación y software
Lenguajes formales
Logics and meanings of programs
Lógica matemática
Lógica matemática-Computación
Lógica y significado de programas
Mathematical logic
Mathematical logic-Computation
Programación en lógica
Programming languages
Programming languages and software
Representación del conocimiento, métodos, formas y scripts