Introduction to mathematics of satisfiability Victor W. Marek

By:

Publication details: Boca Raton, FL CRC Press c2009Description: xiii, 350 p. : ill. ; 25 cm., : alk. paperISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	511.3 MAR (Browse shelf(Opens below))	Available		145204

Previous								Next
Previous	511.3 MAR Where mathematics, computer science, linguistics, and biology meet : essays in honor of Gheorghe Păun	511.3 MAR First order mathematical logic	511.3 MAR First order mathematical logic	511.3 MAR Introduction to mathematics of satisfiability	511.3 MAR Introduction to languages and the theory of computation	511.3 MEN Uncertain rule-based fuzzy logic systems : introduction and new directions	511.3 MEN Introduction to mathematical logic	Next

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Find us on the map