AAAAAA

   
Results: 1-25 |
Results: 25
A Section is Born: Studies in Automated Reasoning
Authors: L.Wos
Citation: L.wos, A Section is Born: Studies in Automated Reasoning, Journal of automated reasoning , 8(1), 1992, pp. 1-2
The Hot List Strategy
Authors: L.Wos,G.W.Pieper
Citation: L.wos,g.w.pieper, The Hot List Strategy, Journal of automated reasoning , 22(1), 1999, pp. 1-44
the Power of Combining Resonance with Heat
Authors: L.Wos
Citation: L.wos, the Power of Combining Resonance with Heat, Journal of automated reasoning , 17(1), 1996, pp. 23-81
Basic Research Problems: The Problem of Strategy and Hyperresolution
Authors: L.Wos
Citation: L.wos, Basic Research Problems: The Problem of Strategy and Hyperresolution, Journal of automated reasoning , 12(1), 1994, pp. 133-134
Automating the Search for Elegant Proofs
Authors: L.Wos
Citation: L.wos, Automating the Search for Elegant Proofs, Journal of automated reasoning , 21(2), 1998, pp. 135-175
Basic Research Problems: The Problem of Automated Theorem Finding
Authors: L.Wos
Citation: L.wos, Basic Research Problems: The Problem of Automated Theorem Finding, Journal of automated reasoning , 10(1), 1993, pp. 137-138
Basic Research Problems: The Problem of Demodulation during Inferance Rule Application
Authors: L.Wos
Citation: L.wos, Basic Research Problems: The Problem of Demodulation during Inferance Rule Application, Journal of automated reasoning , 9(1), 1992, pp. 141-142
Note on McCune's Article on Discrimination Trees
Authors: L.Wos
Citation: L.wos, Note on McCune's Article on Discrimination Trees, Journal of automated reasoning , 9(2), 1992, pp. 145-146
Basic Research Problems: The Problem of Naming and Function Replacement
Authors: L.Wos
Citation: L.wos, Basic Research Problems: The Problem of Naming and Function Replacement, Journal of automated reasoning , 11(1), 1993, pp. 147-148
Otter.The CADE-13 Competition Incarnations
Authors: W.McCune,L.Wos
Citation: W.mccune,l.wos, Otter.The CADE-13 Competition Incarnations, Journal of automated reasoning , 18(2), 1997, pp. 211-220
The Linked Inference Principle. I: The Formal Treatment
Authors: R.Veroff,L.Wos
Citation: R.veroff,l.wos, The Linked Inference Principle. I: The Formal Treatment, Journal of automated reasoning , 8(2), 1992, pp. 213-274
OTTER and Moufang Identity Problem
Authors: L.Wos
Citation: L.wos, OTTER and Moufang Identity Problem, Journal of automated reasoning , 17(2), 1996, pp. 215-257
Basic Research Problems: The Problem of Hyperparamodulation
Authors: L.Wos
Citation: L.wos, Basic Research Problems: The Problem of Hyperparamodulation, Journal of automated reasoning , 12(2), 1994, pp. 265-270
The Problem of Reasoning by Case Analysis
Authors: L.Wos
Citation: L.wos, The Problem of Reasoning by Case Analysis, Journal of automated reasoning , 11(2), 1993, pp. 269-288
Searching for Circles of Pure Proofs
Authors: L.Wos
Citation: L.wos, Searching for Circles of Pure Proofs, Journal of automated reasoning , 15(3), 1995, pp. 279-315
Basic Researc Problems: The problem of Selecting an Approach Based on Prior Success
Authors: L.Wos
Citation: L.wos, Basic Researc Problems: The problem of Selecting an Approach Based on Prior Success, Journal of automated reasoning , 10(2), 1993, pp. 283-286
The Kernel Strategy and Its Use for the Study of Combinatory Logic
Authors: L.Wos
Citation: L.wos, The Kernel Strategy and Its Use for the Study of Combinatory Logic, Journal of automated reasoning , 10(3), 1993, pp. 287-344
Basic Research Problems: The Problem of Demodulator Adjunction
Authors: L.Wos
Citation: L.wos, Basic Research Problems: The Problem of Demodulator Adjunction, Journal of automated reasoning , 9(2), 1992, pp. 289-290
The problem of Choosing Between Using and Avoiding Equality Predicates
Authors: L.Wos
Citation: L.wos, The problem of Choosing Between Using and Avoiding Equality Predicates, Journal of automated reasoning , 8(2), 1992, pp. 307-309
Basic Research Problems: The Problem of Hyperparamodulation and Nuclei
Authors: L.Wos
Citation: L.wos, Basic Research Problems: The Problem of Hyperparamodulation and Nuclei, Journal of automated reasoning , 12(3), 1994, pp. 407-410
Basic Researc Problems: The Problem of Demodulating across Argument and Literal Boundaries
Authors: L.Wos
Citation: L.wos, Basic Researc Problems: The Problem of Demodulating across Argument and Literal Boundaries, Journal of automated reasoning , 9(3), 1992, pp. 407-412
Basic Research Problems: The Problem of Reasoning from Inequalities
Authors: L.Wos
Citation: L.wos, Basic Research Problems: The Problem of Reasoning from Inequalities, Journal of automated reasoning , 8(3), 1992, pp. 421-426
Basic Researc Problems: The Problem of Reasoning by Analogy
Authors: L.Wos
Citation: L.wos, Basic Researc Problems: The Problem of Reasoning by Analogy, Journal of automated reasoning , 10(3), 1993, pp. 421-422
Basic Research Problems: The Problem of Induction
Authors: L.Wos
Citation: L.wos, Basic Research Problems: The Problem of Induction, Journal of automated reasoning , 11(3), 1993, pp. 433-434
Transition to the Future
Authors: L.Wos
Citation: L.wos, Transition to the Future, Journal of automated reasoning , 9(3), 1992, p.
Risultati: 1-25 |