Proceedings

D. G. Shin

1 paper in the IJCAI proceedings

IJCAI 1985

A Many-Sorted Resolution Based on an Extension of a First-Order Language
with Keki B. Irani
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards