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

1
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...-order theory -- Restricting the complexity of regular DNLC languages -- Apex graph grammars -- Graph...”
Cover Image
Read Now

2
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...AHEAD: A Graph-Based System for Modeling and Managing Development Processes -- Formalizing UML...”
Cover Image
Read Now

3
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Transforming Timeline Specifications into Automata for Runtime Monitoring -- Visualization, Simulation...”
Cover Image
Read Now

4
Published 1996
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

5
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Processes -- Multimedia, Picture, and Visual Languages -- MPEG-7 Semantic Descriptions: Graph...”