Logic for computer science / Jean H. Gallier.
By: Gallier, Jean H.
Material type:
BookPublisher: John Wiley & Sons ISBN: 0471615463.Subject(s): Automatic therorem provingDDC classification: 004.015113 GAL
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Open Shelf Books
|
Nilai University Library | 004.015113 GAL (Browse shelf) | Available | 2527 |
Total holds: 0
Browsing Nilai University Library Shelves Close shelf browser
|
|
|
|
|
|
|
||
| 004.01511 MCA From logic to computing | 004.01511 REE Logic for computer science | 004.01511 REE Logic for computer science | 004.015113 GAL Logic for computer science / Jean H. Gallier. | 004.015113 HUN 2012 Essentials of discrete mathematics / | 004.019 HUM Human-computer interaction / Alan Dix ..[et al.] | 004.019 HUM Human-computer interaction / Alan Dix ..[et al.] |
There are no comments for this item.