Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence-Learning 1
- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Formal languages 1
- Inteligencia artificial-Aprendizaje 1
- Knowledge representation formalisms and method frames and scripts 1
- Lenguajes de programación 1
- Lenguajes de programación y software 1
- Lenguajes formales 1
- Logic programming 1
- Logics and meanings of programs 1
- Lógica matemática 1
- Lógica y significado de programas 1
- Mathematical logic 1
- Programming languages 1
- Programming languages and software 1
- Representación del conocimiento, métodos, formas y scripts 1
-
1
Reasoning with logic programming /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial inteligence…”
Book