Automatic theorem proving.

Rippling = meta-level guidance for mathematical reasoning / by: (書目-語言資料,印刷品)

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

The automation of reasoning with incomplete information = from semantic foundations to efficient computation / by: (書目-語言資料,印刷品)

Theory reasoning in connection calculi by: (書目-語言資料,印刷品)

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

Formal analysis of future energy systems using interactive theorem proving by: (書目-電子資源)

Automated deduction in classical and non-classical logics = selected papers / by: (書目-語言資料,印刷品)

Concrete semantics = with Isabelle/HOL / by: (書目-電子資源)