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 DeMorgan's theorem in Computing (FOLDOC) dictionary
two-valued logic
DeMorgan's theorem
Green's Theorem
four colour map theorem
General Recursion Theorem
head normalisation theorem
Infinite Monkey Theorem
Nyquist Theorem
four colour theorem
Computational Adequacy Theorem
von Neumann ordinal
Church-Rosser Theorem
ALGOL 60 Modified
Carl Friedrich Gauss
Isabelle
Nqthm
Axiom of Choice
QA4
LOP
CONNIVER
Sequel
Brouwer Fixed-Point Theorem
prime number theorem
metalanguage
Nyquist frequency
normal order reduction
Banach inverse mapping theorem
axiomatic set theory
PLANNER
Qu-Prolog
graph colouring
hairy ball
webmonkey
deductive tableau
chromatic number
ill-behaved
norm
bogo-sort
De Bruijn notation
complex number
intuitionistic logic
one-banana problem
eigenvector
Cantor
Banach space
occurs check
Prolog
Multipop-68
flame