Automatic theorem proving.

Automated theorem proving in non-classical logics by: (Language materials, printed)

Mechanizing mathematical reasoning: essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday by: (Language materials, printed)

Mechanizing Mathematical Reasoning[electronic resource] :Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / by: (Electronic resources)

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.