Proceedings

W. M. Evangelist

1 paper in the IJCAI proceedings

IJCAI 1977

Theorem Proving by Covering Expressions
with Lawrence J. Henschen
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards