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

1
by Baumgartner, Peter
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...1. Introduction -- 2. Logical Background -- 3. Tableau Model Elimination -- 4. Theory Reasoning...”
Cover Image
Read Now

2
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... theory -- The limit of splitn-language equivalence -- Divergence and fair testing -- Causality for mobile...”
Cover Image
Read Now

3
Published 1999
Springer Vienna
Table of Contents: “... Communications Networks -- Use of Formal Specification and Design Language for Protocol Description - Field...”
Cover Image
Read Now

4
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... -- Using trace theory to model discrete events -- Protocol verification using discrete-event models...”