Search alternatives:
automatic theorem » automata theory
automated theorem » automata theory
languages » language
Cover Image
Read Now

1
by Harrison, John
Published 1998
Springer London
Table of Contents: “...8.2 The formalization of mathematics -- 8.3 The LCF approach to theorem proving -- 8.4 Computer...”
Cover Image
Read Now

2
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Formal Verification of IA-64 Division Algorithms -- Fast Tactic-Based Theorem Proving -- Implementing a...”
Cover Image
Read Now

3
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Translating specifications in VDM-SL to PVS -- A comparison of HOL and ALF formalizations of a...”