Decision Procedures by Kroening
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Third floor, call number 511.3 KRO.
Book details
- Author
- Kroening
- Publisher
- Springer
- Year
- 2018
- ISBN
- 9783662570654
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Third floor | 511.3 KRO | 339368 | Reference only (read in the library) |
Next to this on the shelf
- Switching And Finite Automata Theory 511.3 KOH
- Problems And Theorems In Classical Set Theory (Sae) (Pb 2020) 511.3 KOM
- Finite Precision Number Systems And Arithmetic 511.3 KOR
- Computational logic and human thinking 511.3 KOW
- Decision Procedures (this book)
- Discrete Mathematics 511.3 KUM
- Discrete Mathematics 511.3 KUM
- Proofs and Refutations: the Logic of Mathematical Discovery 511.3 LAK
- Introduction To Infinity-Categories 511.3 LAN