Word list Emoticon dictionary Internet Explorer toolbar IE quick lookup Firefox search plugin VDict bookmarklet For Webmasters VDict on your site
About Privacy policy Contact us
FAQ Community support forum
Language
English
Vietnamese
Search history
History size
Delete history View history
Vietnamese keyboard On Off  
Search in Name Definition  
Match type Exact Broad Fuzzy
 
Computing
Showing 1 to 63 of 63 results found for: Church-Rosser Theorem
head normalisation theorem Church-Rosser Theorem De Bruijn notation Green's Theorem
four colour map theorem Church integer DeMorgan's theorem General Recursion Theorem
Infinite Monkey Theorem Nyquist Theorem four colour theorem Alonzo Church
Computational Adequacy Theorem von Neumann ordinal two-valued logic Carl Friedrich Gauss
lambda-calculus Church, Alonzo 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 complex number intuitionistic logic
one-banana problem CUCH Knights of the Lambda-Calculus eigenvector
Cantor Eris Banach space slack
occurs check Church of the SubGenius fnord Prolog
Discordianism religion of CHI canonical Multipop-68
feature key flame Pronunciation


You can add VDict tools to iGoogle to search VDict right from your Google homepage:
  • VDict dictionary: Add to Google
  • VDict translation: Add to Google
Vietnamese Dictionary and Translation. Từ điển và dịch Anh Việt