Automatic theorem proving.

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

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

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

Lectures on proof verification and approximation algorithms by: (書目-語言資料,印刷品)

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

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

Scalable techniques for formal verification by: (書目-語言資料,印刷品)

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