Introduction to mathematics of satisfiability /

Bibliografische gegevens
Hoofdauteur: Marek, Wiktor
Formaat: Printed Book
Gepubliceerd in: Boca Raton : CRC Press, c2009.
Reeks:Chapman & Hall/CRC studies in informatics series
Onderwerpen:
Propositional calculus.
Logic, Symbolic and mathematical.

Gelijkaardige items