- Clasificación de lenguajes
- Language classifications 10
- Language constructs and features 3
- Lenguajes de programación 3
- Logic programming 3
- Concurrent programming 2
- Construcción y características del lenguaje 2
- Deducción y prueba de teoremas 2
- Deduction and theorem proving 2
- Deducton and theorem proving 2
- Formal languages 2
- Knowledge representation formalisms and methods frames and scripts 2
- Lambda calculus 2
- Lenguajes formales 2
- Logics and meanings of programs 2
- Lógica matemática 2
- Lógica matemática-Computación 2
- Lógica y significado de programas 2
- Mathematical logic 2
- Mathematical logic-Computation 2
- Programación concurrente 2
- Programación-Técnicas 2
- Programming languages 2
- Programming techniques 2
- Representación del conocimiento, métodos, formas y scripts 2
- Semantics of programming languages 2
- Semántica de lenguajes de programación 2
- Administración de bases de datos 1
- Almacenamiento y recuperación de la información 1
- Análisis numérico 1
-
1
-
2
Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /
Published 2009Conference Proceeding Book -
3
-
4
-
5
-
6
-
7
-
8
Parallel virtual machine, EuroPVM '96 : third European PVM conference, Munich, Germany, October 7-9, 1996 : proceedings /
Published 1996Conference Proceeding Book -
9
-
10
-
11