Introduction to mathematics of satisfiability /

Manylion Llyfryddiaeth
Prif Awdur: Marek, Wiktor
Fformat: Printed Book
Cyhoeddwyd: Boca Raton : CRC Press, c2009.
Cyfres:Chapman & Hall/CRC studies in informatics series
Pynciau:
Propositional calculus.
Logic, Symbolic and mathematical.

Eitemau Tebyg