- Lógica matemática 10
- Mathematical logic
- Artificial intelligence 7
- Inteligencia artificial 7
- Formal languages 5
- Lenguajes formales 5
- Deducción y prueba de teoremas 4
- Deduction and theorem proving 4
- Logics and meanings of programs 3
- Lógica y significado de programas 3
- Lenguajes de programación 2
- Logic programming 2
- Programming languages 2
- Representación del conocimiento, métodos, formas y scripts 2
- Simetría 2
- Symmetry 2
- Algebraic manipulation 1
- Artificial intelligence-Learning 1
- Asistencia de diseños 1
- Coding and information theory 1
- Design aids 1
- Ershov Andrei 1
- Ingeniería de software 1
- Inteligencia artificial-Aprendizaje 1
- Knowledge representation formalisms and method frames and scripts 1
- Knowledge representation formalisms and methods frames 1
- Lenguajes de programación y software 1
- Lógica matemática-Computacion 1
- Manipulación algebraica 1
- Mathematical logic-Computation 1
-
1
-
2
-
3
-
4
-
5
-
6
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Subjects:Conference Proceeding Book -
7
-
8
-
9
Handbook of logic in computer science /
Published 1992“…Handbooks of logic in computer science and artificial intelligence and logic programming…”
Book -
10
Automated deduction, CADE- 14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /
Published 1997“…Lecture notes in artificial intelligence…”
Conference Proceeding Book