A. Michael Ballantyne

Publication Activity (10 Years)

Years Active: 1977-1996
Publications (10 Years): 0

Publications

A. Michael Ballantyne, Robert S. Boyer, Larry M. Hines
Woody Bledsoe - His Life and Legacy. AI Mag. 17 (1) (1996)
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)
A. Michael Ballantyne, W. W. Bledsoe
Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques. J. ACM 24 (3) (1977)