- Mathematical logic-Computation
- Lógica matemática-Computación 22
- Deducción y prueba de teoremas 11
- Deduction and theorem proving 11
- Artificial intelligence 10
- Inteligencia artificial 10
- Logic programming 6
- Programación en lógica 5
- Artificial intelligence-Applications and expert systems 3
- Grammars and other rewriting systems 3
- Gramáticas y otros sistemas de reescritura 3
- Inteligencia artificial-Aplicaciones y sistemas expertos 3
- Administración de base de datos 2
- Artificial intelligence-Learning 2
- Búsqueda y recuperación de la información 2
- Ciencias físicas e ingeniería 2
- Database management 2
- Formal languages 2
- Information search and retrieval 2
- Inteligencia artificial-Aprendizaje 2
- Knowledge representation formalisms and methods frames and scripts 2
- Lenguajes formales 2
- Modelos de computación 2
- Models of computation 2
- Physical sciences and engineering 2
- Representación del conocimiento, métodos, formas y scripts 2
- Algebraic manipulation 1
- Algoritmos no numéricos y problemas 1
- Analysis of algorithms and problem complexity 1
- Análisis de algoritmos y problemas de complejidad 1
-
1
Computational intelligence : theory and applications /
Published 1997Subjects:Conference Proceeding Book -
2
Distributed artificial intelligence : architecture and modelling /
Published 1996Subjects:Conference Proceeding Book -
3
-
4
Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings /
Published 1996Subjects:Conference Proceeding Book -
5
Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995, selected papers /
Published 1997Subjects:Conference Proceeding Book -
6
Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
7
Qualitative and quantitative practical reasoning /
Published 1997Subjects:Conference Proceeding Book -
8
Time structures : formal description and algorithmic representation /
Published 1996Subjects: “…Artificial intelligence.…”
Book -
9
-
10
-
11
-
12
Computational learning theory : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17-19, 1997 : Proceedings /
Published 1997Subjects:Conference Proceeding Book -
13
Database theory - ICDT '97 : 6th International Conference, Delphi, Greece, January 8-10, 1997 : proceedings /
Published 1997Subjects:Conference Proceeding Book -
14
-
15
Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
16
Handbook of logic in computer science /
Published 1992“…Handbooks of logic in computer science and artificial intelligence and logic programming…”
Book -
17
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings /
Published 1997“…Lecture notes in artificial intelligence…”
Conference Proceeding Book -
18
Automated deduction in equational logic and cubic curves /
Published 1996“…Lecture notes in artificial intelligence…”
Book -
19
Non-monotonic extensions of logic programming /
Published 1997“…Lecture notes in artificial intelligence…”
Conference Proceeding Book -
20
Logic programming and nonmonotonic reasoning /
Published 1997“…Lecture notes in artificial intelligence…”
Conference Proceeding Book