Set theory for computing : from decision procedures to declarative programming with sets / Domenico Cantone, Eugenio Omodeo, Alberto Policriti.
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 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 | |
---|---|---|---|---|---|---|---|---|
![]() |
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.--