Automated Reasoning: Essays in Honor of Woody Bledsoe

Keyphrases

Publications

1991

Robert S. Boyer, J. Strother Moore
MJRTY: A Fast Majority Vote Algorithm. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Owen L. Astrachan, Donald W. Loveland
METEORs: High Performance Theorem Provers Using Model Elimination. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Wolfgang Bibel
Perspectives on Automated Deduction. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
John Alan Robinson
Formal and Informal Proofs. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Michael Gelfond, Vladimir Lifschitz, Arkady Rabinov
What are the Limitations of the Situation Calculus? Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Mark E. Stickel
PTTP and Linked Inference. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Alan Bundy
The Use of Proof Plans for Normalization. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
James J. Lu, Lawrence J. Henschen, V. S. Subrahmanian, Newton C. A. da Costa
Reasoning in Paraconsistent Logics. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Hans J. Bremermann, Russell W. Anderson
How the Brain Adjusts Synapses - Maybe. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Larry Wos
Automated Reasoning and Bledsoe's Dream for the Field. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Ross A. Overbeek, Ian T. Foster
Aligning Multiple RNA Sequences. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Young K. Nam, Lawrence J. Henschen
Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Michael M. Richter, Stefan Wess
Similarity, Uncertainty and Case-Based Reasoning in Patdex. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Anne Olivia Boyer, Robert S. Boyer
A Biographical Sketch of W. W. Bledsoe. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
A. Michael Ballantyne
The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part II. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)