Image from Amazon.com
Computability theory, semantics, and logic programming
Material type:
TextLanguage: English Series: Oxford Logic GuidesPublication details: New York Oxford University Press 1987Description: xi, 198pISBN: - 0195036913
- 001.642 F564c
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 001.642 F564c (Browse shelf(Opens below)) | Available | A97387 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: General Stacks Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available |
|
|
|
No cover image available | No cover image available | ||
| 001.642 D569d Discipline of programming | 001.642 D569d Discipline of programming | 001.642 F453f Functional programming | 001.642 F564c Computability theory, semantics, and logic programming | 001.642 F765 Formal development of programs and proofs | 001.642 F962 Functional programming and its applications | 001.642 G712d Data types and structures |
There are no comments on this title.
Log in to your account to post a comment.