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 | H191Item 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
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: Reference Close shelf browser
005.8 H191 v.1 Handbook of Information Security [3-Volume Set] | 005.8 H191 v.2 Handbook of Information Security [3-Volume Set] | 005.8 H191 v.3 Handbook of Information Security [3-Volume Set] | 006.3 H191 Handbook of satisfiability | 006.35 Ex71 Expert systems [6v.] | 006.35 Ex71 Expert systems [6v.] | 006.35 Ex71 Expert systems [6v.] |
There are no comments for this item.