VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
language
Functions plus Logic. Equational clauses within
function definitions to solve for
logic variable
bindings.
["Functions plus Logic in Theory and Practice", R.B.
Kieburtz, Feb 1987, unpublished].
(1994-10-20)