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

1
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...Issues in theorem proving based on the connection method -- Rigid E-unification simplified...”
Cover Image
Read Now

2
by Schumann, Johann M.
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...1. Introduction -- 2. Formal Methods in Software Engineering -- 3. Processing of Logic -- 4...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Towards Generic Pattern Mining -- Conceptual Exploration of Semantic Mirrors -- Towards a Formal...”
Cover Image
Read Now

4
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... prover -- Substitution-based compilation of extended rules in deductive databases -- Automatic theorem...”
Cover Image
Read Now

5
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... for the Content-Based Representation of Information -- Formal Methods in Robotics -- Multi-agent Systems -- Games...”
Cover Image
Read Now

6
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Programming Language -- Distance-Based Repairs of Databases -- Natural Deduction Calculus for Linear-Time...”
Cover Image
Read Now

7
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Automatic Text Summarization Using a Machine Learning Approach -- Towards a Theory Revision Approach...”
Cover Image
Read Now

8
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Nearest Local Hyperplane Rules for Pattern Classification -- Natural Language Processing...”
Cover Image
Read Now

9
Published 1983
Springer Berlin Heidelberg
Table of Contents: “... in Automatic Theorem-Proving -- A Simplified Format for the Model Elimination Theorem-Proving Procedure...”
Cover Image
Read Now

10
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- The GAZER theorem prover -- ROO: A parallel theorem prover -- RVF: An automated formal verification system...”
Cover Image
Read Now

11
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- MegaLog — A platform for developing knowledge base management systems -- SPIKE, an automatic theorem...”
Cover Image
Read Now

12
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... propositional logic via translation into classical logic -- Lemma matching for a PTTP-based top-down theorem...”
Cover Image
Read Now

13
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- The search efficiency of theorem proving strategies -- A method for building models automatically...”
Cover Image
Read Now

14
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Formalizing Rewriting in the ACL2 Theorem Prover -- Additional Comments on Conjectures, Hypotheses...”
Cover Image
Read Now

15
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... of OSHL -- Efficient Query Processing with Compiled Knowledge Bases -- Clausal Connection-Based Theorem...”
Cover Image
Read Now

16
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- On the Construction of Human-Automation Interfaces by Formal Abstraction -- Pareto Optimization of Temporal Decisions...”
Cover Image
Read Now

17
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... for Asynchronous Systems -- A Formalization of Static Analyses in System F -- On Explicit Reflection in Theorem...”
Cover Image
Read Now

18
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...An inductive logic programming query language for database mining -- Bertrand Russell, Herbrand’s...”
Cover Image
Read Now

19
Published 2021
Springer International Publishing
Table of Contents: “...: An Equational Theorem Prover (System Description) -- The Isabelle/Naproche Natural Language Proof Assistant...”
Cover Image
Read Now

20
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Logic -- Formalization of Continuous Probability Distributions -- Compilation as Rewriting in Higher...”