Handbook of satisfiability
Contributor(s): Biere, Armin [ed.] | Heule, Marjin [ed.] | Maaren, Hans van [ed.] | Walsh, Toby [ed.].
Material type:
BookSeries: Frontiers In Artificial Intelligence And Applications / edited by J. Breuker. Publisher: Amsterdam IOS Press 2009Description: xiii, 966p.ISBN: 9781586039295.Subject(s): Propositional calculusDDC classification: 006.3 | H191
| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | Reference | 006.3 H191 (Browse shelf) | Available | A166968 |
Total holds: 0
There are no comments for this item.