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 linear logic in Computing (FOLDOC) dictionary
First
< Previous
1
2
3
4
5
6
Next >
Last
KL0
CLP*
northbridge
nonlinear
complete theory
MMI
logic bomb
CTL
Spool
definite clause
N-Prolog
lemma
AdLog
goal
difference equation
M-Prolog
PDL
LDT
Cirrus Logic
Fresh
propositional calculus
fuzzy computing
predicate calculus
MATLAB
Wesley Clark
functional unit
SASL+LV
PowerFuL
fixed point combinator
ECL
application server
Quty
CIRcuit CALculus
Omega test
SRL
Prometheus
negation by failure
Mandala
truth table
Kernel Parlog
KAP
REFINE
Turbo Prolog
OR
speedometer
inline
TTL
Sequel
Delta-Prolog
Boolean
Logic Design Language
Uranus
inference
Haskell Curry
implies
southbridge
paradox
complete inference system
MRS
neutrosophic statistics
LYaPAS
logical complement
D-type flip-flop
Extended Concurrent Prolog
HASL
Cube
PPLambda
fuzzy subset
cognitive architecture
Western Digital Corporation
Intel 80186
Digital Linear Tape
Modular Prolog
REGTRAL
Digital Lempel Ziv 1
flat
most general unifier
converse
Conjunctive Normal Form
LAURE
First
< Previous
1
2
3
4
5
6
Next >
Last