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

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Calculus for Semi-Automated Guesstimation -- Perfect Discrimination Graphs: Indexing Terms with Integer...”
Cover Image
Read Now

2
Published 2012
Springer Berlin Heidelberg
Table of Contents: “...Robot programming -- Languages and compilation techniques -- Real-time and fault tolerance...”
Cover Image
Read Now

3
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... predicate logic as metatheory -- Model building and interactive theory discovery -- Link deletion in model...”
Cover Image
Read Now

4
Published 2016
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

5
Published 2019
Springer International Publishing
Table of Contents: “... Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A...”