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

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Coherence in Natural Language Processing -- Local Relational Model: A Logical Formalization of Database...”
Cover Image
Read Now

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Algorithm -- Ontology and Theory -- Modular Ontologies – A Formal Investigation of Semantics...”