Logic for computer science | Foundations of automatic theorem proving | Jean H. Gallier
By: Gallier, Jean H.
Material type:
BookPublisher: New York Dover publication inc 1986Description: 496 23cm.ISBN: 9780486780825.Subject(s): Logic, Symbolic and mathematical | Automatic theorem proving | Maths-StatisticsDDC classification: 511.36028563
| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library IIIT Vadodara | Central Library IIIT Vadodara | 511.36028563 GAL (Browse shelf) | Available | 001375 | ||
|
Books
|
Central Library IIIT Vadodara | Central Library IIIT Vadodara | 511.36028563 GAL (Browse shelf) | Available | 001376 |
Total holds: 0
Browsing Central Library IIIT Vadodara Shelves Close shelf browser
| 511.36 LAK Proofs and refutations | 511.36028563 FRI The Little Prover | 511.36028563 GAL Logic for computer science | 511.36028563 GAL Logic for computer science | Foundations of automatic theorem proving | Jean H. Gallier | 511.36028563 GAL Logic for computer science | Foundations of automatic theorem proving | Jean H. Gallier | 511.5 CHA First course in graph theory | 511.5 DEO Graph theory with applications to engineering and computer science |
English
There are no comments for this item.