Using Sophisticated Models in Resolution Theorem Proving

Description

David M. Sandford. Includes Index. Bibliography: P. [229]-233.

ComputersComputer ScienceInformation TechnologyMathematicsDiscrete MathematicsLogic

1980Book

Author(s)David M. Sandford

PublisherSpringer Science & Business Media

ISBN9783540102311

LanguageEnglish

Resolution Methods for the Decision Problem

Resolution Proof Systems: An Algebraic Theory (Automated Reasoning Series, 4)

A Resolution Principle for a Logic with Restricted Quantifiers

The Efficiency of Theorem Proving Strategies A Comparative and Asymptotic Analysis

Automated Theorem Proving Theory and Practice

First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)

Model Generation for Natural Language Interpretation and Analysis

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)

Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker

Theorem Proving in Higher Order Logics 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings