Suggested Topics within your search.
Suggested Topics within your search.
- Logic programming 2
- Artificial intelligence 1
- Artificial intelligence-Learning 1
- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Formal languages 1
- Inteligencia artificial 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
- Logics and meanings of programs 1
- Lógica matemática 1
- Lógica matemática-Computación 1
- Lógica y significado de programas 1
- Mathematical logic 1
- Mathematical logic-Computation 1
- Programación en lógica 1
- Programming languages 1
- Programming languages and software 1
- Representación del conocimiento, métodos, formas y scripts 1
-
1
Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
2