Introduction to mathematics of satisfiability /

Bibliographische Detailangaben
1. Verfasser: Marek, Wiktor
Format: Printed Book
Veröffentlicht: Boca Raton : CRC Press, c2009.
Schriftenreihe:Chapman & Hall/CRC studies in informatics series
Schlagworte:
Propositional calculus.
Logic, Symbolic and mathematical.

Ähnliche Einträge