Introduction to mathematics of satisfiability /

Bibliografiska uppgifter
Huvudupphovsman: Marek, Wiktor
Materialtyp: Printed Book
Publicerad: Boca Raton : CRC Press, c2009.
Serie:Chapman & Hall/CRC studies in informatics series
Ämnen:
Propositional calculus.
Logic, Symbolic and mathematical.

Liknande verk