| 000 | 01127nam a2200277 a 4500 | ||
|---|---|---|---|
| 003 | MX-TeUDD | ||
| 005 | 20240622102227.0 | ||
| 008 | 050914s2001 nyua b 001 0 eng c | ||
| 020 | _a0387951970 (alk. paper) | ||
| 040 |
_aMX-TeUDD _bspa _cMX-TeUDD |
||
| 050 | 0 | 4 |
_aQA248 _b.C3 2001 |
| 100 | 1 |
_aCantone, Domenico. _9195364 |
|
| 245 | 1 | 0 |
_aSet theory for computing : _bfrom decision procedures to declarative programming with sets / _cDomenico Cantone, Eugenio Omodeo, Alberto Policriti. |
| 246 | 2 | _aFrom decision procedures to declarative programming with sets. | |
| 260 |
_aNew York : _bSpringer, _cc2001. |
||
| 300 |
_axviii, 409 p. : _bil. ; _c24 cm. |
||
| 490 | 0 | _aMonographs in computer science | |
| 504 | _aBibliografía: p. [374]-39 | ||
| 505 | 8 | _aCapítulo 1. Introduction.-- Capítulo 2. Basicts for set-theoretic reasoning.-- Capítulo 3. Decisión methods.-- Capítulo 4. Sete-specific inference engines.-- | |
| 650 | 4 |
_aTeoría de conjuntos _923601 |
|
| 700 | 1 |
_aPolicriti, Alberto. _9195365 |
|
| 700 | 1 |
_aOmodeo, Eugenio. _9195366 |
|
| 905 | _aAcervo | ||
| 906 |
_aPaty _b20050914 |
||
| 942 |
_cBK01 _2lcc |
||
| 999 |
_c269792 _d269792 |
||
| 907 |
_c2 _dUlises Castrejon |
||