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

1
Published 2020
Springer International Publishing
Table of Contents: “... -- Generating Posets Beyond N -- Automated Algebraic Reasoning for Collections and Local Variables with Lenses...”
Cover Image
Read Now

2
Published 2014
Springer International Publishing
Table of Contents: “.../HOL -- Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages -- A...”