Introduction to mathematics of satisfiability /

Opis bibliograficzny
1. autor: Marek, Wiktor
Format: Printed Book
Wydane: Boca Raton : CRC Press, c2009.
Seria:Chapman & Hall/CRC studies in informatics series
Hasła przedmiotowe:
Propositional calculus.
Logic, Symbolic and mathematical.

Podobne zapisy