Propositional calculus - Congresses.

Handbook of satisfiability by: (書目-語言資料,印刷品)

Theory and application of satisfiability testing = SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings / by: (書目-語言資料,印刷品)

Theory and applications of satisfiability testing = 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / by: (書目-語言資料,印刷品)

Computer algorithms

Propositional calculus

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computer Science.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Decision making

Computation by Abstract Devices.

Computer software

Logic Design.