MPG.eBooks - Search Results - formal languages and automatic theorem

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

Cover Image

1

Modeling and Using Context : 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... Coherence in Natural Language Processing -- Local Relational Model: A Logical Formalization of Database...”

Cover Image

2

The Semantic Web – ASWC 2006 : First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Table of Contents: “...Automatic Creation and Simplified Querying of Semantic Web Content: An Approach Based...”