Searching for authors named "Larry Wos" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
The Problem Of Induction
- … THE PROBLEM OF INDUCTION* ARRY WOS Argonne National Laboratory, 9700 South Cass Ave., Argonne, IL 60439, U…
- Add To MetaCart
-
The Problem of Strategy and Hyperresolution
- …The Problem of Strategy and Hyperresolution M LARRY WOS athematics and Computer Science Division…
- Add To MetaCart
-
The Problem of Reasoning by Case Analysis
- … THE PROBLEM OF REASONING BY CASE ANALYSIS* ARRY WOS Argonne National Laboratory, 9700 South Cass Ave…
- Add To MetaCart
-
The Problem of Naming and Function Replacement
- … The Problem of Naming and Function Replacement* ARRY WOS Argonne National Laboratory, 9700 South Cass Ave…
- Add To MetaCart
-
Basic Research Problems: The Problem of Automated Theorem Finding
- …Basic Research Problems: * L The Problem of Automated Theorem Finding ARRY WOS Argonne National…
- Add To MetaCart
-
Experiments with the Hot List Strateg
- … with the Hot List Strateg by Larry Wos n Mathematics and Computer Science Divisio Technical Memorandum No. 232…
- Add To MetaCart
-
Conquering the Meredith Single Axiom
- …Conquering the Meredith Single Axiom Larry Wos Mathematics and Computer Science Division Argonne…
- Cited by 7 (5 self) – Add To MetaCart
-
The Resonance Strategy
- …Preprint MCS-P387-1093 The Resonance Strategy* M Larry Wos athematics and Computer Science…
- Cited by 7 (6 self) – Add To MetaCart
-
Automated Reasoning and Bledsoe's Dream for the Field
- …Chapter 1 Automated Reasoning and Bledsoe's Dream for the Field 1 Larry Wos Mathematics…
- Cited by 3 (2 self) – Add To MetaCart
-
Searching for Circles of Pure Proofs
- …Searching for Circles of Pure Proofs* M Larry Wos athematics and Computer Science Division…
- Cited by 9 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
