Search alternatives:
automated theory » automated theorem, automata theory, automatic theorem
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 1998
Springer Berlin Heidelberg
Table of Contents: “... language and its quantifier elimination method for disjunctive logic programming -- A new approach...”
Cover Image
Read Now

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