Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory
languages » language

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Explicit in BDI -- Wrapping Boosters against Noise -- Continuous Temporal Models -- Language...

2
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... -- The CG Formalism as an Ontolingua for Web-Oriented Representation Languages -- A Viewpoint Model...