Essays in Honor of W. W. Bledsoe 1991

> Home > Conferences and Workshops > Essays in Honor of

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/1991bledsoe
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/1991bledsoe
Robert S. Boyer:
Automated Reasoning: Essays in Honor of Woody Bledsoe. Automated Reasoning Series, Kluwer Academic Publishers 1991, ISBN 0-7923-1409-3
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/BoyerB91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BoyerB91
Anne Olivia Boyer, Robert S. Boyer:
A Biographical Sketch of W. W. Bledsoe. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 1-30
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/AstrachanL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AstrachanL91
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
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/Ballantyne91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Ballantyne91
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
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/Bibel91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Bibel91
Wolfgang Bibel:
Perspectives on Automated Deduction. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 77-104
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/Moore91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Moore91
Robert S. Boyer, J Strother Moore:
MJRTY: A Fast Majority Vote Algorithm. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 105-118
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/Anderson91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Anderson91
Hans J. Bremermann, Russell W. Anderson:
How the Brain Adjusts Synapses - Maybe. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 119-148
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/Bundy91a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Bundy91a
Alan Bundy:
The Use of Proof Plans for Normalization. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 149-166
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/GelfondLR91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GelfondLR91
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
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/LuHSC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LuHSC91
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
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/NamH91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/NamH91
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
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/OverbeekF91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/OverbeekF91
Ross A. Overbeek, Ian T. Foster:
Aligning Multiple RNA Sequences. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 231-248
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/RichterW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/RichterW91
Michael M. Richter, Stefan Wess:
Similarity, Uncertainty and Case-Based Reasoning in Patdex. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 249-266
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/Robinson91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Robinson91
John Alan Robinson:
Formal and Informal Proofs. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 267-282
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/Stickel91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Stickel91
Mark E. Stickel:
PTTP and Linked Inference. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 283-296
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/Wos91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Wos91
Larry Wos:
Automated Reasoning and Bledsoe's Dream for the Field. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 297-345

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.