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

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Verification using uninterpreted functions and finite instantiations -- Formal verification...”
Cover Image
Read Now

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... System -- A Categorical Approach to NP-Hard Optimization Problems -- Logic and Formal Tools -- A...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Verification of Language Based Fault-Tolerance -- Applying Stacking and Corpus Transformation to a Chunking...”
Cover Image
Read Now

4
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- VisaVis the conception of a functional Visual Programming Language -- Systems theory in modelling...”
Cover Image
Read Now

5
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... of the Evolution of Software Systems -- HEDES: A System Theory Based Tool to Support Evolutionary Software Systems...”
Cover Image
Read Now

6
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... systems -- A logical approach to system construction -- Task management system -- Toward a unified theory...”
Cover Image
Read Now

7
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition...”