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 decision theory in Computing (FOLDOC) dictionary
First
< Previous
1
2
3
4
Next >
Last
GRG
directed set
minimal automaton
Universal algebra
type assignment
Axiom of Choice
closed term
\sqsubseteq
LAMBDA
beta conversion
pi-calculus
Abstract Machine Notation
kill file
Wrong Thing
monotonic
CUCH
boundedly complete
COLD-K
bottom
Nondeterministic Turing Machine
F+L
AGM Theory for Belief Revision
distributive lattice
disjoint union
proof theory
Chop
PROSE
deterministic automaton
effective computable
Ontic
complete partial ordering
compactness preserving
reduction strategy
Gottlob Frege
low-bandwidth
complete
ASL+
syntax tree
backward analysis
Algebra of Communicating Processes
Pari
combination
semantics
join
Cornell Theory Center
linear logic
NIAL
reflexive
nondeterministic automaton
B-Method
CHARITY
Godzillagram
Omega-algebraic
GIGO
plonk
set complement
punt
discriminated union
burn-in period
proof
alpha conversion
complete metric space
Cinderella Book
steganography
operational semantics
linear argument
Institut National de Recherche en Informatique et Automatique
Mu
static analysis
Bird-Meertens Formalism
rdb
Busy Beaver
monad
infinite
automaton
toy language
Church of the SubGenius
Basic Encoding Rules
constructor
GAP
First
< Previous
1
2
3
4
Next >
Last