VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
Extension of
Prolog
to handle a clausal subset of
first-order
temporal logic
with discrete time. Proposed by
M. Abadi and Z. Manna of
Stanford University
.
["Temporal Logic in Programming", M. Abadi et al, INtl Symp
Logic Prog pp.4-16 (1987)].