W. W. Bledsoe
W. W. Bledsoe.
Some results on multicategory pattern recognition.
Journal of the ACM
, 13(2):304-316, April 1966.
Robert Anderson and W. W. Bledsoe.
A linear format for resolution with merging and a new technique for establishing completeness.
Journal of the ACM
, 17(3):525-534, July 1970.
References, Citations, etc.
A. Michael Ballantyne and W. W. Bledsoe.
Automatic proofs of theorems in analysis using nonstandard techniques.
Journal of the ACM
, 24(3):353-374, July 1977.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database