- Formal languages 8
- Lenguajes formales
- Artificial intelligence 5
- Inteligencia artificial 5
- Lógica matemática 5
- Mathematical logic 5
- Grammars and other rewriting systems 3
- Gramáticas y otros sistemas de reescritura 3
- Logics and meanings of programs 3
- Lógica y significado de programas 3
- Deducción y prueba de teoremas 2
- Deduction and theorem proving 2
- Logic programming 2
- Mathematical logic-Computation 2
- Representación del conocimiento, métodos, formas y scripts 2
- Algebraic manipulation 1
- Applicative programming 1
- Arte y humanidades 1
- Artificial intelligence-Applications and expert systems 1
- Artificial intelligence-Learning 1
- Arts and humanities 1
- Coding and information theory 1
- Desarrollo de modelos 1
- Ershov Andrei 1
- Estudios de construcción de programas 1
- Ingeniería de software 1
- Inteligencia artificial-Aplicaciones y sistemas expertos 1
- Inteligencia artificial-Aprendizaje 1
- Knowledge representation formalisms and method frames and scripts 1
- Knowledge representation formalisms and methods frames 1
-
1
-
2
Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings
Published 1996Subjects:Conference Proceeding Book -
3
-
4
Automatic ambiguity resolution in natural language processing : an empirical approach /
Published 1996Subjects:Book -
5
-
6
-
7
Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
8
Handbook of logic in computer science /
Published 1992“…Handbooks of logic in computer science and artificial intelligence and logic programming…”
Book