Chapter: Theorem-Provers Combining Model Elimination and Resolution

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970 > Theorem-Provers Combining Model Elimination and Resolution

Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970 |

J. Siekmann; G. Wrightson

Springer Berlin Heidelberg

Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970

Theorem-Provers Combining Model Elimination and Resolution

Chapter Info

Authors

D. W. Loveland

ARI Id

1664726808572_2955029

Access

Not Available Free

Pages

249-263

DOI

10.1007/978-3-642-81955-1_15

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-81955-1_15

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 20 of 41 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		I-XII
Automated Theorem Proving 1965–1970	L. Wos; L. Henschen	1-24
Front Matter		25-25
A Cancellation Algorithm for Elementary Logic	R. W. Binkley; R. L. Clark	27-47
An Inverse Method for Establishing Deducibility of Nonprenex Formulas of the Predicate Calculus	S. Yu Maslov	48-54
Automatic Theorem Proving With Renamable and Semantic Resolution	J. R. Slagle	55-65
The Concept of Demodulation in Theorem Proving	L. T. Wos; G. A. Robinson; D. F. Carson; L. Shalla	66-81
Front Matter		83-83
Resolution with Merging	P. B. Andrews	85-101
On Simplifying the Matrix of a WFF	P. B. Andrews	102-116
Mechanical Theorem-Proving by Model Elimination	D. W. Loveland	117-134
The Generalized Resolution Principle	J. A. Robinson	135-151
New Directions in Mechanical Theorem Proving	J. A. Robinson	152-158
AUTOMATH, a Language for Mathematics	N. G. de Bruijn	159-200
Front Matter		201-201
Semi-Automated Mathematics	J. R. Guard; F. C. Oglesby; J. H. Bennett; L. G. Settle	203-216
Semantic Trees in Automatic Theorem-Proving	R. Kowalski; P. J. Hayes	217-232
A Simplified Format for the Model Elimination Theorem-Proving Procedure	D. W. Loveland	233-248
Theorem-Provers Combining Model Elimination and Resolution	D. W. Loveland	249-263
Relationship between Tactics of the Inverse Method and the Resolution Method	S. Yu. Maslov	264-272
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 20 of 41 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries