Title:
Introduction to mathematics of satisfiability
Author:
Marek, V. W. (V. Wiktor), 1943-
ISBN:
9781439801741
Publication Information:
Boca Raton : CRC Press, c2009.
Physical Description:
xiii, 350 p. : ill.
Series:
Chapman & Hall/CRC studies in informatics series
Series Title:
Chapman & Hall/CRC studies in informatics series
Holds:
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 286921-1001 | ONLINE | Searching... | Searching... |