W. M. Evangelist

Northwestern University Evanston , Illinois 60201

1 paper in the IJCAI proceedings

IJCAI 1977

Theorem Proving by Covering Expressions

with Lawrence J. Henschen

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings