Introduction to mathematics of satisfiability /

Библиографические подробности
Главный автор: Marek, Wiktor
Формат: Printed Book
Опубликовано: Boca Raton : CRC Press, c2009.
Серии:Chapman & Hall/CRC studies in informatics series
Предметы:
Propositional calculus.
Logic, Symbolic and mathematical.

Схожие документы