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.--