Introduction to mathematics of satisfiability /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Marek, Wiktor
Μορφή: Printed Book
Έκδοση: Boca Raton : CRC Press, c2009.
Σειρά:Chapman & Hall/CRC studies in informatics series
Θέματα:
Propositional calculus.
Logic, Symbolic and mathematical.

Παρόμοια τεκμήρια