Automatic theorem proving.

Scalable techniques for formal verification by: (書目-電子資源)

Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / by: (書目-電子資源)

Efficient solving of large arithmetic constraint systems with complex Boolean structure = proof engines for the analysis of hybrid discrete-continuous systems / by: (書目-電子資源)

Software Engineering.

Formal methods (Computer science)

Computer systems- Verification.

Circuits and Systems.

Logic, Symbolic and mathematical.

Engineering.

Reasoning- Technique.

Computer-Aided Engineering (CAD, CAE) and Design.

Constraints (Artificial intelligence)

Computer Science.

Reasoning- Automation.

Computer Science, general.

Mathematical Logic and Foundations.

Mathematical Logic and Formal Languages.

Automatic theorem proving.

Artificial Intelligence (incl. Robotics)

Computer science- Mathematics.