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 predicate logic in Computing (FOLDOC) dictionary
First
< Previous
1
2
3
4
5
Next >
Last
AND
Echidna
fact
IC-Prolog
Goedel
FUNLOG
LEAF
CELP
glue
Sequential Parlog Machine
CLP(sigma*)
Boolean algebra
paraconsistent probability
neutrosophic probability
model checking
tautological probability
Charme
LIFE
channel service unit
Isabelle
Transistor-Transistor Logic
combinatory logic
George Boole
CLP(R)
APPLOG
three-tier
Xilinx, Inc.
Xilinx Netlist Format
EPILOG
tautological set
asynchronous logic
Wild_LIFE
ELP
A'UM
Constraint Logic Programming
Parlog++
PAL
logic gate
logic programming
instantiation
natural deduction
Neutrosophy
neutrosophic set
scan design
abduction
unification
horizontal encoding
central processing unit
constructive
Interest Group in Pure and Applied Logics
vertical encoding
Triton
Trilogy
Laboratory INstrument Computer
linear function
Larch
scan register
relational calculus
handwave
relational language
Subset-Equational Language
occurs check
O-Logic
accumulator
EQLOG
OBJ0
MALI
Simulating Digital Systems
CPLD
PLTL
complexity analysis
resolution
ET
ALF
mill
LOTIS
Sure
ALU
MegaHertz
Programmable Logic Controller
First
< Previous
1
2
3
4
5
Next >
Last