Proceedings

J. van Vaalen

1 paper in the IJCAI proceedings

IJCAI 1975

An Extension of Unification to Substitution with an Application to Automatic Theorem Proving
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards