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 symbolic logic in Computing (FOLDOC) dictionary
First
< Previous
1
2
3
4
5
6
7
Next >
Last
LDL1
CLP
CAMAL
Prolog-2
C-Refine
complex programmable logic device
TAO
CS-Prolog
formal methods
BABYLON
GAL
sentence
DLP
Muse
iff
Fleng
FORMAL
Logic Replacement Technology
CP
operator
GigaHertz
TYPOL
LGEN
LPS
NOT
BNR Prolog
Oc
Prolog++
nanocomputer
TypedProlog
RTL
Magma
REDUCE
tautology
KL0
CLP*
Franz Lisp
northbridge
complete theory
assembly language
Connection Machine LISP
MMI
logic bomb
GAP
CTL
Spool
definite clause
lemma
N-Prolog
AdLog
goal
Schoonschip
Omega test
M-Prolog
PDL
LDT
Cirrus Logic
Fresh
predicate calculus
propositional calculus
fuzzy computing
Wesley Clark
functional unit
SASL+LV
PowerFuL
fixed point combinator
ECL
application server
Quty
CIRcuit CALculus
SRL
Prometheus
UBASIC
negation by failure
Mandala
truth table
Kernel Parlog
KAP
SHEEP
REFINE
First
< Previous
1
2
3
4
5
6
7
Next >
Last