Keith L. Clark

Computing & Control Imperial College London , England

1 paper in the IJCAI proceedings

IJCAI 1977

Predicate Logic: A Calculus for the Formal Derivation of Programs

with Sharon Sickel

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings