ML Anthology
Authors
Search
About
McMichael, Alan F.
1 publications
AAAI
1991
Mechanization of Analytic Reasoning About Sets
Alan F. McMichael