Automatic theorem proving.

Automated theorem proving in non-classical logics …で: (言語・文字資料 (印刷物))

Mechanizing mathematical reasoning: essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday …で: (言語・文字資料 (印刷物))

Mechanizing Mathematical Reasoning[electronic resource] :Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / …で: (コンピュータ・メディア)

Automatic theorem proving.

Nonclassical mathematical logi

Logic,Symbolic and mathematica

Automatic theorem proving.

Reasoning -- Automation.

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Software Engineering.

Logic, Symbolic and mathematical.

Artificial Intelligence (incl. Robotics)

Automatic theorem proving.

Reasoning

Computer Science.