The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series) | EKB DL

Home BookThe Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)

The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)

The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)

Description

Book by Leitsch, Alexander

Keywords

AUTOMATIC THEOREM PROVING

1997Book

Author(s)Alexander Leitsch

PublisherSpringer Verlag

ISBN9783540618829

LanguageEnglish

SpringerLink Book

Similar Books

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

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

Computing in Horn Clause Theories (Monographs in Theoretical Computer Science. An EATCS Series)

Computing in Horn Clause Theories (Monographs in Theoretical Computer Science. An EATCS Series)

Resolution Methods for the Decision Problem

Book

Resolution Methods for the Decision Problem

A Resolution Principle for a Logic with Restricted Quantifiers

A Resolution Principle for a Logic with Restricted Quantifiers

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

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

A Basis for Theoretical Computer Science (Monographs in Computer Science)

A Basis for Theoretical Computer Science (Monographs in Computer Science)

Theory Reasoning in Connection Calculi

Theory Reasoning in Connection Calculi

A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)

A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)

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

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

Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)

Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)