Normal view MARC view ISBD view

Introduction to mathematics of satisfiability

Marek, V. W. 1943-

Introduction to mathematics of satisfiability [electronic resource] / Victor W. Marek. - Boca Raton : CRC Press, c2009. - xiii, 350 p. : ill. - Chapman & Hall/CRC studies in informatics series . - Chapman & Hall/CRC studies in informatics series. .

"A Chapman & Hall book."

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

Mode of access: World Wide Web.

ISBN: 9781439801741 (ebook : PDF)

Subjects--Topical Terms:
Propositional calculus.
Logic, Symbolic and mathematical.

Index Terms--Genre/Form:
Electronic books.

Print
Add to your cart (remove)
Suggest for purchase
Save record
BIBTEX Dublin Core MARC (non-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com)