Computability theory, semantics, and logic programming
Material type:
TextLanguage: English Series: Oxford logic guides; 13Publication details: New York OUP 1987Description: xi,198pISBN: - 0-19-503691-3
- 005.115 F547
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 005.115 F547 (Browse shelf(Opens below)) | Available | C25256 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | |||||||
| 005.115 D438 Treshold logic : a synthesis approach | 005.115 D438 Treshold logic : a synthesis approach | 005.115 F547 Computability theory,semantics,and logic programming | 005.115 F547 Computability theory, semantics, and logic programming | 005.115 H468 Discrete structures, logic, and computability / | 005.115 H676 Mathematical aspects of logic programming semantics | 005.115 H716 Introduction to logic programming |
There are no comments on this title.
Log in to your account to post a comment.
