Search alternatives:
automation theory » automata theory, estimation theory, animation theory
automatic theory » automatic theorem, automata theory, axiomatic theory
languages » language
Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... for Formal Verification of Compiler Optimizations -- On the Formalization of the Lebesgue Integration Theory...”
Cover Image
Read Now

2
Published 2000
Springer US
Table of Contents: “...2 Essentials -- II Case Studies -- 5 An Exercise in Graph Theory -- 6 Modular Proof: The Fundamental...”
Cover Image
Read Now

3
by Kaufmann, Matt, Manolios, Panagiotis, Moore, J Strother
Published 2000
Springer US
Table of Contents: “... and Information -- 1.4 Intended Audience -- I Preliminaries -- 2 Overview -- II Programming -- 3 The Language -- 4...”