Decision procedures : an algorithmic point of view
Material type: TextSeries: Texts in theoretical computer science an EATCSPublication details: Springer, Berlin : ©2016Edition: 2nd edDescription: xxi, 356 p. ; 24cmISBN:- 9783662504963
- 519.542 KRO-D
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | Course reserves |
---|---|---|---|---|---|---|---|---|
Reference | IIITD Reference | Mathematics | REF 519.542 KRO-D (Browse shelf(Opens below)) | Not for loan | 010161 |
Total holds: 0
Includes index
There are no comments on this title.