Logic for computer science / foundations of automatic theorem proving Gallier, Jean H.
Material type:
TextPublication details: Mineola: Dover Publications, 2015Edition: 2ndDescription: 496 pISBN: - 9780486780825
- 511.36028563 GAL-L
Books
| Current library | Call number | Status | Barcode | |
|---|---|---|---|---|
| UMT Main Campus | 511.36028563 GAL-L (Browse shelf(Opens below)) | Available | 99873 |
Browsing UMT Main Campus shelves Close shelf browser (Hides shelf browser)
| 511.35 KOH-S Switching and finite automata theory / | 511.35 KOH-S Switching and finite automata theory / | 511.35 SIP-I Introduction to the theory of computation | 511.36028563 GAL-L Logic for computer science / | 511.4 KOM-A Approximation techniques for engineers / | 511.42 APP- Approximation algorithms for np-hard problems | 511.42 APP- Approximation algorithms for NP-HARD problems |
EN
There are no comments on this title.
Log in to your account to post a comment.