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
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
drool-proof paper
Macintrash
point-and-drool interface
intuitionistic logic
proof
user-friendly
room-temperature IQ
menuitis
documentation
constructive
four colour map theorem
General Recursion Theorem
PRL
exercise, left as an
natural deduction
point-and-grunt interface
DROOL
ML
Cantor
philosophy
Isabelle
Logic for Computable Functions
axiom
PROOF/L
What You See Is All You Get
lemma
epsilon
for The Rest Of Us
Baroque
proof theory
penis war
games
prime number theorem
metalanguage
Clausal Language
PPLambda
Optical Character Recognition
Software Verification Research Centre
countable
Nuprl
TABLOG
formal methods
natural language
toy language
HOL
deductive tableau
induction
Fermat prime
logic
acoustic coupler
Nightmare File System
B
Russell's Paradox
B-Toolkit
OS/2
Debian
Carl Friedrich Gauss
Lisp
flame