Introduction to Mathematics of Satisfiability
Material type: TextSeries: Studies in Informatics SeriesPublication details: Boca Raton CRC Press 2009Description: xiii, 350 p. ; 24 cmISBN:- 9781439801673
- 511.3 MAR
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Reference Books | LRC, IIT Indore 3rd Floor - Reference Collection | Reference | 511.3 MAR (Browse shelf(Opens below)) | Not For Loan | 9529 |
Total holds: 0