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

801
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Language Understanding in Façade: Surface-Text Processing -- Stepping into the Interactive Drama -- From...”
Cover Image
Read Now

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

803
Published 2015
Springer International Publishing
Table of Contents: “... Retrievability -- A Formal Approach to Effectiveness Metrics for Information Access: Retrieval, Filtering...”
Cover Image
Read Now

804
Published 2015
Springer International Publishing
Table of Contents: “... Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory -- Mining...”
Cover Image
Read Now

805
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...Towards Trust in Web Content Using Semantic Web Technologies -- The Semantic Gap of Formalized...”
Cover Image
Read Now

806
Published 2019
Academic Press is an imprint of Elsevier
Table of Contents: “.... Programming Language and Mutant Operators -- 9.3. Subsumed Mutant Threat -- 9.4. Test Suite Strength and Size...”