Set theory for computing from decision procedures to declarative programming with sets
Material type:
TextSeries: Monographs in computer sciencePublication details: New York ; Springer ; c2001Description: xviii, 409 pISBN: 0387951970 (alk. paper)Subject(s): Set theory. Computable functions
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 681.3 CAN (Browse shelf (Opens below)) | Available | 53185 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 681.3 CAM Learning GNU Emacs | 681.3 CAM Machine learning for audio image and video analysis | 681.3 CAMP Economics of information security | 681.3 CAN Set theory for computing | 681.3 CAR DBase 3 plus | 681.3 CAR Graphic Apology for Symmetry and Implicitness | 681.3 CAR Theory of distributed objects: asynchrony-mobility-groups-components |
There are no comments on this title.