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 mathematical logic in Computing (FOLDOC) dictionary
First
< Previous
1
2
3
4
5
6
Next >
Last
glue
Sequential Parlog Machine
CLP(sigma*)
paraconsistent probability
neutrosophic probability
model checking
tautological probability
Charme
LIFE
channel service unit
Isabelle
Transistor-Transistor Logic
combinatory logic
TABLOG
CLP(R)
APPLOG
fuzzy logic
HiLog
three-tier
Xilinx, Inc.
Xilinx Netlist Format
EPILOG
tautological set
asynchronous logic
Wild_LIFE
ELP
A'UM
Constraint Logic Programming
tweening
symbolic mathematics
Parlog++
PAL
logic gate
logic programming
Stephen Kleene
instantiation
Neutrosophy
neutrosophic set
scan design
abduction
Orange Book
unification
horizontal encoding
central processing unit
constructive
vertical encoding
Triton
Trilogy
Laboratory INstrument Computer
AMTRAN
GAMS
scan register
Mathematical Analysis without Programming
CHARYBDIS
COLASL
handwave
Guide to Available Mathematical Software
domain theory
Mathematics in Recognizable Form Automatically Compiled
Subset-Equational Language
Edward Lorenz
regression
math-out
LAMBDA
occurs check
Abstract Machine Notation
Symbolic Mathematical Laboratory
PDS/MaGen
MAP
ISBL
O-Logic
accumulator
AUTOMATH
CIMS PL/I
Knights of the Lambda-Calculus
Esterel
EQLOG
OBJ0
MALI
Simulating Digital Systems
First
< Previous
1
2
3
4
5
6
Next >
Last