The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By World Scientific Publishing Co. Pte. Ltd.

9789812813411

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Power of Combining Resonance with Heat

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions ◽

10.1142/9789812813411_0061 ◽

2010 ◽

pp. 1424-1481

Author(s):

LARRY WOS

Download Full-text

The Impossibility of the Automation of Logical Reasoning

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions ◽

10.1142/9789812813411_0055 ◽

2010 ◽

pp. 1218-1220

Author(s):

Larry Wos

Keyword(s):

Logical Reasoning

Download Full-text

Subsumption, a Sometimes Undervalued Procedure

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions ◽

10.1142/9789812813411_0041 ◽

2010 ◽

pp. 829-870

Author(s):

Larry Wos ◽

Ross Overbeek ◽

Ewing Lusk

Download Full-text

Set Theory in First-Order Logic: Clauses for Gödel's Axioms

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions ◽

10.1142/9789812813411_0037 ◽

2010 ◽

pp. 677-728

Author(s):

ROBERT BOYER ◽

EWING LUSK ◽

WILLIAM McCUNE ◽

ROSS OVERBEEK ◽

MARK STICKEL ◽

...

Keyword(s):

Set Theory ◽

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

Automated Reasoning Programs: How They Work

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions ◽

10.1142/9789812813411_0031 ◽

2010 ◽

pp. 560-570

Author(s):

Larry Wos

Keyword(s):

Automated Reasoning ◽

Automated Reasoning Programs

Download Full-text

PROCEDURE IMPLEMENTATION THROUGH DEMODULATION AND RELATED TRICKS

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions ◽

10.1142/9789812813411_0023 ◽

2010 ◽

pp. 376-399

Author(s):

S. K. Winker ◽

L. Wos

Download Full-text

AN UNNATURAL ATTACK ON THE STRUCTURE PROBLEM FOR THE FREE JORDAN RING ON 3 LETTERS: AN APPLICATION OF QUAD ARITHMETIC

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions ◽

10.1142/9789812813411_0016 ◽

2010 ◽

pp. 220-285

Author(s):

B. T. Smith ◽

L. T. Wos

Keyword(s):

Jordan Ring ◽

Structure Problem

Download Full-text

Searching for Circles of Pure Proofs

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions ◽

10.1142/9789812813411_0060 ◽

2010 ◽

pp. 1378-1423

Author(s):

LARRY WOS

Download Full-text

Preface: The Field of Automated Reasoning

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions ◽

10.1142/9789812813411_0058 ◽

2010 ◽

pp. 1311-1316

Keyword(s):

Automated Reasoning

Download Full-text

Automated Reasoning Answers Open Questions

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions ◽

10.1142/9789812813411_0057 ◽

2010 ◽

pp. 1288-1310 ◽

Cited By ~ 1

Author(s):

Larry Wos

Keyword(s):

Automated Reasoning ◽

Open Questions

Download Full-text

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open QuestionsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By World Scientific Publishing Co. Pte. Ltd.

The Power of Combining Resonance with Heat

The Impossibility of the Automation of Logical Reasoning

Subsumption, a Sometimes Undervalued Procedure

Set Theory in First-Order Logic: Clauses for Gödel's Axioms

Automated Reasoning Programs: How They Work

PROCEDURE IMPLEMENTATION THROUGH DEMODULATION AND RELATED TRICKS

AN UNNATURAL ATTACK ON THE STRUCTURE PROBLEM FOR THE FREE JORDAN RING ON 3 LETTERS: AN APPLICATION OF QUAD ARITHMETIC

Searching for Circles of Pure Proofs

Preface: The Field of Automated Reasoning

Automated Reasoning Answers Open Questions

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions
Latest Publications