Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings / ed. Herbert Kuchen, S. Doaitse Swierstra.
Series Lecture notes in computer science ; v. 1140 | LNCS ; v. 1140Detalles de publicación: Berlin : Springer, 1996.Descripción: xi, 478 p. : il. ; 24 cmISBN:- 3540617566
- Programación aplicativa
- Applicative programming
- Lógica matemática-Computación
- Mathematical logic-Computation
- Gramáticas y otros sistemas de reescritura
- Grammars and other rewriting systems
- Lenguajes formales
- Formal languages
- Lenguajes y sistemas
- Languages and systems
- Inteligencia artificial-Aplicaciones y sistemas expertos
- Artificial intelligence-Applications and expert systems
- Programación en lógica
- Logic programming
- Lenguajes de programación-Definiciones formales y teoría
- Programming languages-Formal definitions and theory
- Procesadores
- Processors
- Estudios de construcción de programas
- Studies of program constructs
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Lecture Notes | C LNCS v. 1140 | Disponible | 15120 |
Total de reservas: 0