Imagen de Amazon.com
Imagen de OpenLibrary
Set theory for computing : from decision procedures to declarative programming with sets / Domenico Cantone, Eugenio Omodeo, Alberto Policriti.
Tipo de material:
TextoSeries Monographs in computer scienceDetalles de publicación: New York : Springer, c2001.Descripción: xviii, 409 p. : il. ; 24 cmISBN: - 0387951970 (alk. paper)
- From decision procedures to declarative programming with sets
- QA248 .C3 2001
Contenidos:
Capítulo 1. Introduction.-- Capítulo 2. Basicts for set-theoretic reasoning.-- Capítulo 3. Decisión methods.-- Capítulo 4. Sete-specific inference engines.--
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Notas | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|---|
01-Préstamo Interno (Libros)
|
Biblioteca Magna a | Acervo General | QA248 .C3 2001 | Disponible | Préstamo interno (etiqueta naranja) | 091057 |
Bibliografía: p. [374]-39
Capítulo 1. Introduction.-- Capítulo 2. Basicts for set-theoretic reasoning.-- Capítulo 3. Decisión methods.-- Capítulo 4. Sete-specific inference engines.--