Introduction to mathematics of satisfiability
Marek, Victor W.
Introduction to mathematics of satisfiability Victor W. Marek - Boca Raton CRC 2009 - xiii, 350p. - Chapman & hall/ crc studies in informatics series .
9781439801673
LOGIC- SYMBOLIC AND MATHEMATICAL
PROPOSITIONAL CALCULUS
510.633 / MAR-I
Introduction to mathematics of satisfiability Victor W. Marek - Boca Raton CRC 2009 - xiii, 350p. - Chapman & hall/ crc studies in informatics series .
9781439801673
LOGIC- SYMBOLIC AND MATHEMATICAL
PROPOSITIONAL CALCULUS
510.633 / MAR-I