Proceedings

Keith L. Clark

1 paper in the IJCAI proceedings

IJCAI 1977

Predicate Logic: A Calculus for the Formal Derivation of Programs
with Sharon Sickel
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards