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 formal logic in Computing (FOLDOC) dictionary
First
< Previous
1
2
3
4
5
6
Next >
Last
LOTIS
ALU
MegaHertz
Programmable Logic Controller
TM
inspection
SMoLCS
Very Large Scale Integration
Probe
HCPRVR
Logic for Computable Functions
LDL
term rewriting system
OBSCURE
skolemisation
Prolog
axiom
thunk
LCF
GTL
IIL
PLD
PLC
LTL
intuitionism
DACAPO
Eva
LDL1
CLP
EML
Prolog-2
Pam
complex programmable logic device
TAO
ALEPH
CS-Prolog
software reliability
math-out
BABYLON
DLP
sentence
GAL
iff
Muse
Fleng
parser generator
FORML
ASPLE
Logic Replacement Technology
CP
operator
GigaHertz
operational test and evaluation
TYPOL
Formal Object Role Modeling Language
LGEN
LPS
NOT
BNR Prolog
Oc
actual argument
Prolog++
nanocomputer
TypedProlog
RTL
FFP
EPROS
TL/I
tautology
KL0
CLP*
SmallVDM
northbridge
MMI
logic bomb
COLD-K
CTL
Spool
N-Prolog
definite clause
First
< Previous
1
2
3
4
5
6
Next >
Last