Automated Reasoning: Essays in Honor of Woody Bledsoe

Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)

Cached

Download Links

[www.cs.utexas.edu]

by Robert S. Boyer (ed.)

BibTeX

@MISC{(ed.)91automatedreasoning:,
    author = {Robert S. Boyer (ed.)},
    title = {Automated Reasoning: Essays in Honor of Woody Bledsoe},
    year = {1991}
}

Bookmark

OpenURL

Abstract

Citations

505	A Computational Logic - Boyer, Moore - 1979
381	A Computational Logic Handbook - Boyer, Moore - 1988
134	Non-Standard Analysis - Robinson - 1980
46	Pattern recognition and reading by machine - Bledsoe, Browning - 1966
45	Non-resolution Theorem Proving - Bledsoe - 1977
37	Computer Proofs of Limits Theorems - Bledsoe, Boyer, et al. - 1972
35	A linear format for resolution with merging and a new technique for establishing completeness - Anderson, Bledsoe - 1970
29	E-Resolution: Extension of Resolution to Include the Equality Relation - Morris - 1969
26	Variable elimination and chaining in a resolution-based prover for inequalities - Bledsoe, Hines - 1980
26	Mechanical proofs about computer programs - Good - 1985
25	Locking: A Restriction of Resolution - Boyer - 1971
24	Splitting and Reduction Heuristics in Automatic Theorem Proving - Bledsoe - 1971
23	The Model Method in Facial Recognition - Bledsoe - 1965
18	Man-machine facial recognition - Bledsoe - 1966
18	An interactive program verification system - Good, London, et al. - 1975
15	AMan-Machine Theorem-Proving System - Bruell - 1975
15	A Maximal Method for Set Variables in Automatic Theorem Proving - Bledsoe - 1977
15	Completeness Results for Inequality Provers - Bledsoe, Kunen, et al. - 1985
11	Automatic Proofs of Theorems in Analysis Using Nonstandard Analysis - Ballantyne, Bledsoe - 1977
11	Hierarchical Deduction - Bledsoe, Wang - 1987
11	Empirical Explorations of the Logic Theory Machine: A Case Study in Heuristics - Newell, Shaw, et al. - 1957
10	On Generating and Using Examples in Proof Discovery - Ballantyne, Bledsoe - 1980
10	The Use of Biological Concepts in the Analytical Study of Systems - Bledsoe - 1961
10	Some Automatic Proofs in Analysis - Bledsoe - 1984
9	A Theory of Sets - Morse - 1965
8	Pattern Recognition Techniques - Ullman - 1973
7	Elementary Theory of Numbers - LeVeque - 1990
6	A Man-Machine Facial Recognition System---Some Preliminary Results - Bledsoe, Chan - 1965
6	What is automated theorem proving - Bledsoe, Loveland - 1985
5	Morse: Some aspects of covering theory - Bledsoe, P - 1952
5	On Borel Product Measures - Bledsoe, Wilks - 1972
5	On sets generated by rectangles - BING, BLEDSOE, et al. - 1974
5	A Survey of Automated Deduction - Bledsoe, Hodges - 1988
4	Completeness Results for E-Resolution - Anderson - 1970
4	Neighborly Functions - Bledsoe - 1952
4	Some Thoughts on Proof Discovery - Bledsoe - 1986
4	Symbolic Logic and Mechanical TheoremProving - Chang, Lee - 1973
3	On a Differential Inequality - Bledsoe, Norris, et al. - 1954
3	A Basic Limitation on the Speed of Digital Computers - Bledsoe - 1961
3	Lethally Dependent Genes Using Instant Selection - Bledsoe - 1961
3	A Topological Measure Construction - Bledsoe, Morse - 1963
3	Using Examples to Generate Instantiations for Set Variables - Bledsoe - 1983
2	Some Results on Multicategory Pattern Recognition - Bledsoe - 1966
2	Automatic Theorem ProofChecking in Set Theory---A Preliminary Report. Research Report SC-- RR--67--525. Sandia Laboratories - Bledsoe, Gilbert - 1967
2	I Had a Dream: AAAI - Bledsoe - 1986
1	Some Theoretical Aspects of Automatic Theorem Proving - Anderson - 1970
1	A Systems Study Comparing Various Fuzing Possibilities for the Atlas - Bledsoe - 1955
1	Program for Computing Probabilities of Fallout from a Large-Scale Thermonuclear Attack, SC--4109 (TR) Systems Analysis, Sandia Corporation. Available from the Office of Technical Services - Bledsoe - 1957
1	Further Results on the N-tuple Pattern Recognition Method - Bledsoe - 1961
1	Bisson (1962): Improved Memory-Matrices for the N-tuple Pattern Recognition Method - Bledsoe, L