Deepak Kapur

1 paper in the IJCAI proceedings

IJCAI 1985

An Equational Approach to Theorem Proving in First-Order Predicate Calculus

with Paliath Narendran

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings