Home
Add
Open Access Books
Get on Google Play
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
Every Word
Any Word
Exact Word
Exact Phrase
Criteria
Table of Contents
Chapter Authors
──────────
Books
Book Authors
Publisher
Publishing Date
──────────
Thesis
Thesis Authors
Field
Search
Search I can Access
Query minimum length 2 and maximum length 100
Advanced Search (Beta)
Home
> L. Wos
"L. Wos" appeared in Books and Chapters
Books
Chapters
10
20
30
50
100
200
500
entries per page
Filter:
Showing 1 to 1 of 1 entry
Book
Author(s)
Year
Publisher
6th Conference on Automated Deduction: New York, USA, June 7–9, 1982
L. Wos (auth.), D. W. Loveland (eds.)
1982
Springer Berlin Heidelberg
Boook
Author(s)
Year
Publisher
Showing 1 to 1 of 1 entry
«
‹
1
›
»
10
20
30
50
100
200
500
entries per page
Filter:
Showing 1 to 11 of 11 entries
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Solving open questions with an automated theorem-proving program
L. Wos
6th Conference on Automated Deduction: New York, USA, June 7-9, 1982
D. W. Loveland
1982
Springer Berlin Heidelberg
Automated Theorem Proving 1965–1970
L. Wos
;
L. Henschen
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970
J. Siekmann
;
G. Wrightson
1983
Springer Berlin Heidelberg
Negative paramodulation
L. Wos
;
W. McCune
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings
Jörg H. Siekmann
1986
Springer Berlin Heidelberg
Benchmark problems in which equality plays the major role
E. Lusk
;
L. Wos
Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
Deepak Kapur
1992
Springer Berlin Heidelberg
Paramodulation and Theorem-Proving in First-Order Theories with Equality
G. Robinson
;
L. Wos
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970
J. Siekmann
;
G. Wrightson
1983
Springer Berlin Heidelberg
Hyperparamodulation: A refinement of paramodulation
L. Wos
;
R. Overbeek
;
L. Henschen
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980
Wolfgang Bibel
;
R. Kowalski
1980
Springer Berlin Heidelberg
Procedure implementation through demodulation and related tricks
S. K. Winker
;
L. Wos
6th Conference on Automated Deduction: New York, USA, June 7-9, 1982
D. W. Loveland
1982
Springer Berlin Heidelberg
Maximal Models and Refutation Completeness: Semidecision Procedures in Automatic Theorem Proving
L. T. Wos
;
G. A. Robinson
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970
J. Siekmann
;
G. Wrightson
1983
Springer Berlin Heidelberg
The Linked Inference Principle, II: The User’s Viewpoint
L. Wos
;
R. Veroff
;
B. Smith
;
W. McCune
7th International Conference on Automated Deduction: Proceedings
R. E. Shostak
1984
Springer New York
The Concept of Demodulation in Theorem Proving
L. T. Wos
;
G. A. Robinson
;
D. F. Carson
;
L. Shalla
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970
J. Siekmann
;
G. Wrightson
1983
Springer Berlin Heidelberg
Automated reasoning contributes to mathematics and logic
L. Wos
;
S. Winker
;
W. McCune
;
R. Overbeek
;
E. Lusk
;
R. Stevens et al.
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings
Mark E. Stickel
1990
Springer Berlin Heidelberg
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Showing 1 to 11 of 11 entries
«
‹
1
›
»