VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
Equality, types and generic modules for logic programming.
A language using Horn clauses. J.A. Goguen, J. Meseguer.