Over-constrained systems / ed. Michael Jampel, Eugene Freuder, Michael Maher.
Series Lecture notes in computer science ; LNCS ; v. 1106Detalles de publicación: Berlin : Springer, 1996.Descripción: x, 309 p. : Il. ; 24 cmISBN:- 3540614796
- Programación-Técnicas
- Programming techniques
- Deduction and theorem proving
- Knowledge representation formalisms and methods frames and scripts
- Representación del conocimiento, métodos, formas y scripts
- Logic programming
- Semántica de lenguajes de programación
- Semantics of programming languages
- Lógica matemática-Computación
- Mathematical logic-Computation
- Clasificación de lenguajes
- Language classifications
- Lenguaje-Construcciones y características
- Language constructs and features
- Programación concurrente
- Concurrent programming
- Problem solving, control methods and search backtracking
- Deducción y prueba de teoremas
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. 1106 | Disponible | 15364 |
Total de reservas: 0