Woody Bledsoe: His Life and Legacy
作者： A. Michael Ballantyne , Larry M. Hines , Robert S. Boyer
关键词:
摘要: Abstract Woodrow Wilson (Woody) Bledsoe died on 4 October 1995 of ALS, more commonly known as Lou Gehrig's disease. Woody was one of the founders of AI, making early …
sci-hub.se 参考文章(35)
W. W. Bledsoe, A new method for proving certain Presburger formulas international joint conference on artificial intelligence. pp. 15- 21 ,(1975)
Larry M. Hines, Str+ve and Integers conference on automated deduction. pp. 416- 430 ,(1994) , 10.1007/3-540-58156-1_29
John H. Holland, Adaptation in natural and artificial systems ,(1992)
W. W. Bledsoe, Robert S. Boyer, Automated Reasoning: Essays in Honor of Woody Bledsoe Kluwer Academic Publishers. ,(1991)
Hans J. Bremermann, Russell W. Anderson, How the Brain Adjusts Synapses—Maybe Automated Reasoning: Essays in Honor of Woody Bledsoe. pp. 119- 147 ,(1991) , 10.1007/978-94-011-3488-0_6
Anthony P. Morse, A theory of sets ,(1965)
Robert S. Boyer, A computational logic ,(1979)
W. W. Bledsoe, Larry M. Hines, Variable elimination and chaining in a resolution-based prover for inequalities 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980. pp. 70- 87 ,(1980) , 10.1007/3-540-10009-1_7
D.I. Good, Mechanical proofs about computer programs Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages. pp. 55- 75 ,(1985) , 10.1016/B978-0-934613-12-5.50009-4
Woody Bledsoe, Richard Hodges, A survey of automated deduction Exploring artificial intelligence. pp. 483- 541 ,(1988) , 10.1016/B978-0-934613-67-5.50017-4