Search alternatives:
automated theory » automated theorem, automata theory, automatic theorem
languages » language
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: “... Routing -- Efficient Graph Matching with Application to Cognitive Automation -- Model Driven Software...”