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

1
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Theory of domains and nearby -- Predicative programming — A survey -- A three-valued logic...”
Cover Image
Read Now

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Semantics and laws of man-made infrastructure systems -- The language lola, FPGAs, and PLDs...”
Cover Image
Read Now

3
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...-Object Replication, Distribution, and Mobility in Network Environments -- Natural Language Processing...”