Image from Google Jackets

Normal view MARC view ISBD view

Handbook of Satisfiability

By:

Biere, Armin (Ed.)

Contributor(s):

Heule, M; Van Maaren, H; Walsh, T. (Ed.)

Material type: Text

Text

TextPublication details: Amsterdam IOS Press 2009Description: xiii, 960pISBN:

9781586039295

Subject(s):

Propositional calculus

DDC classification:

511.3 Han

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Notes	Date due	Barcode	Item holds
Reference	IIT Goa Central Library	Technical	511.3/Han (Browse shelf(Opens below))	1	Reference	2342/2018/19 \| 24-05-18 \| 0.00% \| USD 211.08		1188

Total holds: 0

Browsing IIT Goa Central Library shelves, Collection: Technical Close shelf browser (Hides shelf browser)

Previous								Next
Previous	511.3/Chi Mathematical Logic	511.3/Dav Introduction to Lattices and Order	511.3/End Mathematical Introduction to Logic	511.3/Han Handbook of Satisfiability	511.3/Kay Mathematics of Logic: A Guide to Completeness Theorems and their Applications	511.3/Koz Automata and Computability	511.3/Koz Automata and Computability	Next

Share

© 2021 Managed and maintained by Central Library, IIT Goa

web counter