J. van Vaalen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1975

1 J. van Vaalen: An Extension of Unification to Substitution with an Application to Automatic Theorem Proving. IJCAI 1975: 77-82