Introduction to mathematics of satisfiability /

Dettagli Bibliografici
Autore principale: Marek, Wiktor
Natura: Printed Book
Pubblicazione: Boca Raton : CRC Press, c2009.
Serie:Chapman & Hall/CRC studies in informatics series
Soggetti:
Propositional calculus.
Logic, Symbolic and mathematical.

Documenti analoghi