Introduction to mathematics of satisfiability Victor W. Marek.
Series: Chapman & Hall/CRC studies in informatics series: Publisher: Boca Raton : CRC Press, c2009Description: xiii, 350 p. : ill. ; 25 cmISBN: 9781439801673; 1439801673Subject(s): Propositional calculus | Logic, Symbolic and mathematicalDDC classification: 511.3| Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Book
|
Central Library (CL) | Central Library (CL) | NFIC | General Stacks | 511.3 MAR (Browse shelf) | Available | SEECS011444 |
Total holds: 0
Browsing Central Library (CL) shelves, Shelving location: General Stacks Close shelf browser
| 511.3 LEE First course on fuzzy theory and applications | 511.3 LEM Beginning logic | 511.3 MAR Introduction to languages and the theory of computation | 511.3 MAR Introduction to mathematics of satisfiability | 511.3 MOR The theory of computation | 511.3 RIC Automata, computability and complexity : theory and applications | 511.3 SIP Introduction to the theory of computation |
System requirements: Internet connectivity; World Wide Web browser.
There are no comments on this title.