Set theory for computing : from decision procedures to declarative programming with sets
Material type: TextLanguage: English Series: Monographs in computer sciencePublication details: Springer – verlag 2001 Description: xviii, 409pISBN: 0387951970 (HB)Subject(s): Set theory | Computable functionsDDC classification: 511.322 CAN(SET)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 511.322 CAN(SET) (Browse shelf(Opens below)) | 1 | Available | 27857 |
Total holds: 0
There are no comments on this title.