Logic for Computer Scientists by / Schöning, Uwe
By: Schöning, Uwe.
Contributor(s): Schöning, Uwe.
Material type:
BookPublisher: Germany Modern Birkhäuser Classics 2008Description: 166 24cm.ISBN: 9780817647629.Subject(s): Logic, Symbolic and mathematical | Logic programming | Computer science | CSE-ITDDC classification: 511.3
| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library IIIT Vadodara | Central Library IIIT Vadodara | 511.3 SCH (Browse shelf) | Available | 001489 |
Total holds: 0
Browsing Central Library IIIT Vadodara Shelves Close shelf browser
| 511.3 LEW Elements of the Theory of Computation | 511.3 LEW Elements of the Theory of Computation | 511.3 LEW Elements of the Theory of Computation | 511.3 SCH Logic for Computer Scientists | 511.3 SMU Beginner's guide to mathematical logic | 511.3 SUP Introduction to logic | 511.322 STI Real numbers |
English
There are no comments for this item.