Dictionary
Translation
Tools
Word list
Emoticon dictionary
Firefox search plugin
VDict bookmarklet
VDict on your site
About
About
FAQ
Privacy policy
Contact us
Options
Change Typing Mode
Delete history
View history
Tiếng Việt
Lookup
Lookup
Computing (FOLDOC)
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese
Enter text to translate (200 characters maximum)
Translate now
Translate now
Search in:
Word
Vietnamese keyboard:
Off
Virtual keyboard:
Show
Translation
powered by
search result for formula in Computing (FOLDOC) dictionary
temporal logic
Conjunctive Normal Form
standard deviation
FORMAL
formula
sanity check
A. K. Erlang
axiom
normal distribution
Poisson distribution
Disjunctive Normal Form
ABC ALGOL
FORMAC
MADCAP
SYMBAL
Formula ALGOL
Zermelo Frankel set theory
FOCAL
proof
Fortran
scalability
entropy
De Bruijn notation
Zermelo set theory
quantifier
symbolic mathematics
String Oriented Symbolic Language
model checking
fencepost error
first-order logic
Carl Friedrich Gauss
axiomatic set theory
canonical
spreadsheet