Refinar su búsqueda
Disponibilidad
-
Autores
- Blanco, Javier Oscar (1)
- Cousineau, Guy (1)
- Davie, Antony J. T. (1)
- Dezani-Ciancaglini, ... (1)
- Gertel, Matías (1)
- Gordon, Andrew D. (1)
- Groote, Philippe (1)
- Hindley, James Roger (1)
- Jeuring, Johan (1)
- Kluge, Werner E. (1)
- Kuchen, Herbert (1)
- Launchbury, John (1)
- Mancuso, Bruno (1)
- Mauny, Michel (1)
- Meijer, Erik (2)
- Paulson, Lawrence C. (1)
- Plotkin, Gordon (1)
- Reade, Chris (1)
- Sheard, Tim (1)
- Swierstra, S. Doaits... (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (11)
- Trabajo Especial de Grado (1)
-
Ubicaciones
-
Series
- Cambridge computer s... (1)
- Distinguished disser... (1)
- International comput... (1)
- Lecture notes in com... (6)
- LNCS (6)
-
Temas
- Applicative programm... (12)
- Artificial intellige... (1)
- Asistente interactiv... (1)
- Clasificación de los... (1)
- Estudios de construc... (1)
- Formal languages (1)
- Functional programmi... (1)
- Grammars and other r... (1)
- Language classificat... (2)
- Languages and system... (1)
- Lenguajes de program... (2)
- Logic programming (1)
- Logics and meanings ... (3)
- Lógica matemática-Co... (2)
- Lógica y significado... (3)
- Mathematical logic-C... (2)
- Programación aplicat... (7)
- Programming language... (3)
- Software-Herramienta... (2)
- Software-Tools and t... (2)
- Mostrar más
- Mostrar menos