McMichael, Alan F.

1 publications

AAAI 1991 Mechanization of Analytic Reasoning About Sets Alan F. McMichael