Introduction to mathematics of satisfiability Victor W. Marek
Material type: TextLanguage: English Series: Chapman & hall/ crc studies in informatics seriesPublication details: Boca Raton CRC 2009 Description: xiii, 350pISBN: 9781439801673Subject(s): LOGIC- SYMBOLIC AND MATHEMATICAL | PROPOSITIONAL CALCULUSDDC classification: 510.633Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | NISER LIBRARY | 510.633 MAR-I (Browse shelf(Opens below)) | R (REFERENCE) | 10412 |
There are no comments on this title.