A. Michael Ballantyne

According to our database1, A. Michael Ballantyne authored at least 3 papers between 1977 and 1996.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1996
Woody Bledsoe - His Life and Legacy.
AI Magazine, 1996

1991
The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part II.
Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

1977
Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques.
J. ACM, 1977


  Loading...