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

1
Published 2021
Springer International Publishing
Table of Contents: “... Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory...”
Cover Image
Read Now

2
by Platzer, André
Published 2018
Springer International Publishing
Table of Contents: “... and CPS -- Differential Invariants and Proof Theory -- Verified Models and Verified Runtime Validation...”
Cover Image
Read Now

3
by Platzer, André
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...-Algebraic Dynamic Logic DAL -- Differential Temporal Dynamic Logic dTL -- Automated Theorem Proving...”