Principles and practice of constraint programming, CP96 / ed. Eugene Freuder.
Series Lecture notes in computer science ; v. 1118 | LNCS ; v. 1118Detalles de publicación: Berlin : Springer, 1996.Descripción: xix, 574 p. : il. ; 24 cmISBN:- 3540615512
- Programación-Técnicas
- Programming techniques
- Semántica de lenguajes de programación
- Semantics of programming languages
- Lógica matemática-Computación
- Mathematical logic-Computation
- Problem solving, control methods, and search backtracking
- Búsqueda y recuperación de la información
- Information search and retrieval
- Clasificación de lenguajes
- Language classifications
- Language constructs and features
- Construcción y características del lenguaje
- Deducción y prueba de teoremas
- Deduction and theorem proving
- Knowledge representation formalisms and methods frames and scripts
- Representación del conocimiento, métodos, formas y scripts
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. 1118 | Disponible | 15231 |
Total de reservas: 0