Proceedings

Raymond D. Gumb

1 paper in the IJCAI proceedings

IJCAI 1977

A Mechanized Proof Procedure for Free Intensional Logics
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards