In Memoriam Woodrow Wilson Bledsoe

In Memoriam Woodrow Wilson Bledsoe

Cached

Download Links

[www.cs.utexas.edu]

Other Repositories/Bibliography

DBLP

by Robert S. Boyer , James C. Browne , Jayadev Misra

BibTeX

@MISC{Boyer_inmemoriam,
    author = {Robert S. Boyer and James C. Browne and Jayadev Misra},
    title = {In Memoriam Woodrow Wilson Bledsoe},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

6071	Genetic Algorithms - Goldberg - 1989
829	A Machine–oriented Logic Based on the Resolution Principle - Robinson - 1965
505	A Computational Logic - Boyer, Moore - 1979
448	Simple Word Problems in Universal Algebra - Knuth, Bendix - 1970
381	A Computational Logic Handbook - Boyer, Moore - 1988
73	Neural Darwinism - Edelman - 1987
70	D.F.: Efficiency and completeness of the set of support strategy in theorem proving - Wos, Robinson, et al. - 1965
58	Implementing Prolog-compiling predicate logic programs - Warren - 1977
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
34	A mechanization of type theory - Huet - 1973
33	Decision procedures for simple equational theories with commutative-associative axioms: Complete sets of commutative-associative reductions - Lankford, Ballantyne - 1977
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	Optimization through evolution and recombination - Bremermann - 1962
26	Mechanical proofs about computer programs - Good - 1985
25	Locking: A Restriction of Resolution - Boyer - 1971
25	Canonical inference - Lankford - 1975
23	A new method for proving certain Presburger formulas", IJCAI at Tibilsi - Bledsoe - 1975
23	The Model Method in Facial Recognition - Bledsoe - 1965
18	Man-machine facial recognition - Bledsoe - 1966
16	Challenge problems in elementary analysis - Bledsoe - 1990
15	A Maximal Method for Set Variables in Automatic Theorem Proving - Bledsoe - 1977
15	AMan-Machine Theorem-Proving System - Bruell - 1975
15	Completeness Results for Inequality Provers - Bledsoe, Kunen, et al. - 1985
11	Automatic Proofs of Theorems in Analysis Using Nonstandard Analysis - Ballantyne, Bledsoe - 1977
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
9	A Theory of Sets - Morse - 1965
6	A Man-Machine Facial Recognition System---Some Preliminary Results - Bledsoe, Chan - 1965
6	The UT Interactive Prover - Bledsoe, Tyson - 1975
5	On sets generated by rectangles - BING, BLEDSOE, et al. - 1974
5	Morse: Some aspects of covering theory - Bledsoe, P - 1952
5	A Survey of Automated Deduction - Bledsoe, Hodges - 1988
5	On Borel Product Measures - Bledsoe, Wilks - 1972
5	An Interactive Verification System - Good, London, et al. - 1975
4	A precondition prover for analogy. In Biosystems - Bledsoe - 1994
4	Some Automatic - Bledsoe - 1984
4	Man-Machine Facial Recognition: Report on a Large-Scale Experiment - Bledsoe - 1966
4	Neighborly Functions - Bledsoe - 1952
4	Automated Reasoning: Essays in Honor of Woody Bledsoe - Boyer - 1991
4	How the brain adjusts synapses-maybe - Bremermann, Anderson - 1991
4	Str +ve and integers - Hines - 1994
4	Automated Theorem Proving with Simplifiers, Commutativity, and Associativity - Slagle - 1974
3	Splitting and Reduction - Bledsoe - 1971
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