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.633
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Book
|
NISER LIBRARY | 510.633 MAR-I (Browse shelf(Opens below)) | R (REFERENCE) | 10412 |
Browsing NISER LIBRARY shelves Close shelf browser (Hides shelf browser)
| 510.63 MAR-F First order mathematical logic | 510.63 SMU-L Logical labyrinths | 510.633 MAR-I Introduction to mathematics of satisfiability | 510.633 MAR-I Introduction to mathematics of satisfiability | 510.646 GUN-H Handbook of mathematical induction:theory and applications | 510.646 HAL-D Dense sphere packings: a blue print for formal proofs | 510.646 WOH-I Introduction to proof in abstract mathematics |
There are no comments on this title.