Automated Reasoning: Essays in Honor of Woody Bledsoe

Authors:
W. W. Bledsoe;Robert S. Boyer
Affiliations:
-;-
Venue:
Automated Reasoning: Essays in Honor of Woody Bledsoe
Year:
1991

Citing 0
Cited 4

A Tribute to Woody Bledsoe

Journal of Automated Reasoning
Computational Logic: Memories of the Past and Challenges for the Future

CL '00 Proceedings of the First International Conference on Computational Logic
Finding frequent items in data streams

Proceedings of the VLDB Endowment
A taxonomy of theorem-proving strategies

Artificial intelligence today

Quantified Score

Hi-index	0.01

Visualization

Abstract