![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Essays in Honor of W. W. Bledsoe 1991
- Robert S. Boyer:
Automated Reasoning: Essays in Honor of Woody Bledsoe. Automated Reasoning Series, Kluwer Academic Publishers 1991, ISBN 0-7923-1409-3 - Anne Olivia Boyer, Robert S. Boyer:
A Biographical Sketch of W. W. Bledsoe. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 1-30 - Owen L. Astrachan, Donald W. Loveland:
METEORs: High Performance Theorem Provers Using Model Elimination. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 31-60 - 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: 61-76 - Wolfgang Bibel:
Perspectives on Automated Deduction. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 77-104 - Robert S. Boyer, J Strother Moore:
MJRTY: A Fast Majority Vote Algorithm. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 105-118 - Hans J. Bremermann, Russell W. Anderson:
How the Brain Adjusts Synapses - Maybe. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 119-148 - Alan Bundy:
The Use of Proof Plans for Normalization. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 149-166 - Michael Gelfond, Vladimir Lifschitz, Arkady Rabinov:
What are the Limitations of the Situation Calculus? Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 167-180 - 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: 181-210 - 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: 211-230 - Ross A. Overbeek, Ian T. Foster:
Aligning Multiple RNA Sequences. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 231-248 - Michael M. Richter, Stefan Wess:
Similarity, Uncertainty and Case-Based Reasoning in Patdex. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 249-266 - John Alan Robinson:
Formal and Informal Proofs. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 267-282 - Mark E. Stickel:
PTTP and Linked Inference. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 283-296 - Larry Wos:
Automated Reasoning and Bledsoe's Dream for the Field. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 297-345
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.