unify
(algorithm) To perform unification.
Last updated: 1995-03-15
Loading
Updated: Sat Aug 19 17:37:26 2017
24091 terms
No longer supported by Imperial College Department of Computing
Updated: Sat Aug 19 17:37:26 2017
24091 terms
No longer supported by Imperial College Department of Computing
Tweet