Normal view MARC view ISBD view

Introduction to mathematics of satisfiability [electronic resource] / Victor W. Marek.

TextSeries: Chapman & Hall/CRC studies in informatics seriesPublication details: Boca Raton : CRC Press, c2009Description: xiii, 350 p. : illISBN: 9781439801741 (ebook : PDF)Subject(s): Propositional calculus | Logic, Symbolic and mathematicalGenre/Form: Electronic books.Additional physical formats: No title; No titleOnline resources: Distributed by publisher. Purchase or institutional license may be required for access. Also available in print edition.

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

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Ebooks	Mysore University Main Library		Not for loan		EBCP01660

"A Chapman & Hall book."

Includes bibliographical references (p. 343-346) and index.

Also available in print edition.

Mode of access: World Wide Web.

There are no comments on this title.

to post a comment.