You are here: irt.org | FOLDOC | unify
<algorithm> To perform unification.
(1995-03-15)
Nearby terms: Uniform Resource Name « Uniform Resource Number « Unify « unify » Unify Corporation » Unihan » uninstaller
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL