Introduction to mathematics of satisfiability /

Detaylı Bibliyografya
Yazar: Marek, Wiktor
Materyal Türü: Printed Book
Baskı/Yayın Bilgisi: Boca Raton : CRC Press, c2009.
Seri Bilgileri:Chapman & Hall/CRC studies in informatics series
Konular:
Propositional calculus.
Logic, Symbolic and mathematical.

Benzer Materyaller