Theory and Applications of Satisfiability Testing (vol. # 3542)
by Holger H. Hoos, David G. Mitchell
Symbolic and mathematical LogicComputer scienceElectronic data processingOperating systems (Computers)Artificial intelligenceComputer softwarePropositional calculusCongresses
Writing a summary for young readers…
For young readers
Book data: Open Library