Introduction to mathematics of satisfiability /

Chi tiết về thư mục
Tác giả chính: Marek, Wiktor
Định dạng: Printed Book
Được phát hành: Boca Raton : CRC Press, c2009.
Loạt:Chapman & Hall/CRC studies in informatics series
Những chủ đề:
Propositional calculus.
Logic, Symbolic and mathematical.

Những quyển sách tương tự