J. van Vaalen

Mathematisch Centrum , Amsterdam , The Netherlands

1 paper in the IJCAI proceedings

IJCAI 1975

An Extension of Unification to Substitution with an Application to Automatic Theorem Proving

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings