Introduction to mathematics of satisfiability /

Sonraí Bibleagrafaíochta
Príomhúdar: Marek, Wiktor
Formáid: Printed Book
Foilsithe: Boca Raton : CRC Press, c2009.
Sraith:Chapman & Hall/CRC studies in informatics series
Ábhair:
Propositional calculus.
Logic, Symbolic and mathematical.

Míreanna Comhchosúla