Introduction to mathematics of satisfiability /

Bibliografiset tiedot
Päätekijä: Marek, Wiktor
Aineistotyyppi: Printed Book
Julkaistu: Boca Raton : CRC Press, c2009.
Sarja:Chapman & Hall/CRC studies in informatics series
Aiheet:
Propositional calculus.
Logic, Symbolic and mathematical.

Samankaltaisia teoksia