Introduction to mathematics of satisfiability /

Bibliografski detalji
Glavni autor: Marek, Wiktor
Format: Printed Book
Izdano: Boca Raton : CRC Press, c2009.
Serija:Chapman & Hall/CRC studies in informatics series
Teme:
Propositional calculus.
Logic, Symbolic and mathematical.

Similar Items