Automatic theorem proving.

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

Computational logic = logic programming and beyond : essays in honour of Robert A. Kowalski.. part II / by: (書目-語言資料,印刷品)

Computational logic = logic programming and beyond : essays in honour of Robert A. Kowalski.. part I / by: (書目-語言資料,印刷品)

Isabelle/HOL = a proof assistant for higher-order logic / 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: (書目-電子資源)

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

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