Set theory for computing From decision procedures to declarative programming with sets
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Published: |
ItalylbDomenico cantonelc2001
|
| Series: | Monographs in computer science
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000pam a2200000 4500 | ||
|---|---|---|---|
| 001 | 7819 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241218052531.0 | ||
| 020 | 0 | 0 | |a 0387951970 |
| 035 | |a 0000009865 | ||
| 039 | 9 | |y 200910081450 |z VLOAD | |
| 090 | 0 | 0 | |a QA 248. |b C1945 2001 |
| 100 | 1 | 0 | |a Cantone |h Domenico |
| 245 | 1 | 0 | |a Set theory for computing |b From decision procedures to declarative programming with sets |c Domenico Cantone Eugenio Omodeo, Alberto policriti |
| 260 | 0 | 0 | |a ItalylbDomenico cantonelc2001 |
| 300 | |a xviii, 409p |b ill |c 24cm | ||
| 440 | 0 | 0 | |a Monographs in computer science |
| 500 | 0 | 0 | |a Includes bibliographical references and index |
| 650 | 0 | 0 | |a Set theory |
| 650 | 0 | 0 | |a Computable functions |
| 700 | 1 | 1 | |a Omodeo |h Eugenio |
| 700 | 1 | 1 | |a Policriti |h Alberto |
| 999 | |a vtls000007855 |c 7819 |d 7819 | ||