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 first order logic in Computing (FOLDOC) dictionary
First
< Previous
1
2
3
4
5
6
7
Next >
Last
OBJ
O-Logic
accumulator
EQLOG
OBJ0
Simulating Digital Systems
MALI
PLTL
CPLD
applicative order reduction
complexity analysis
Ironman
ET
ALF
mill
LOTIS
Sure
ALU
reduction
MegaHertz
Programmable Logic Controller
Probe
Very Large Scale Integration
HCPRVR
Logic for Computable Functions
LDL
Prolog
axiom
PLC
LCF
IIL
LTL
GTL
PLD
intuitionism
DACAPO
LDL1
CLP
Prolog-2
complex programmable logic device
TAO
CS-Prolog
lazy evaluation
BABYLON
DLP
sentence
GAL
iff
Muse
Fleng
Logic Replacement Technology
CP
operator
GigaHertz
TYPOL
LGEN
LPS
NOT
BNR Prolog
Oc
Prolog++
nanocomputer
RTL
TypedProlog
tautology
CLP*
KL0
northbridge
complete theory
MMI
logic bomb
CTL
Spool
definite clause
N-Prolog
lemma
AdLog
goal
M-Prolog
PDL
First
< Previous
1
2
3
4
5
6
7
Next >
Last