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 symbolic logic in Computing (FOLDOC) dictionary
First
< Previous
1
2
3
4
5
6
7
Next >
Last
symbolic logic
propositional logic
logic
George Boole
Horn clause
Constraint Handling In Prolog
neutrosophic logic
symbolic mathematics
modal logic
predicate logic
equational logic
SCL
EQLog
Interest Group in Pure and Applied Logics
inference
Emitter Coupled Logic
Algebraic Logic Functional language
F+L
LeFun
symbolic link
SETS
Programmable Array Logic
TEMPLOG
LO
classical logic
linear logic
first-order logic
Symbolic Automatic INTegrator
BABEL
Symbolic Mathematical Laboratory
logic emulator
intuitionistic logic
P-Prolog
Lolli
SODA
LOGIN
MATHLAB
SYMBAL
intuitionistic probability
SYGMA
accumulator
quantifier
HOL
Symbolic Link
Distributed Logic Programming
{log}
two-valued logic
connective
HCLP
field-programmable gate array
Arithmetic and Logic Unit
Tempura
symbolic inference
intuitionist logic
Gunning Transceiver Logic
Universal algebra
Terse
PRISM
LML
ObjVProlog
MACSYMA
LOP
Lambda Prolog
Built-in Self Test
F-Logic
Generic Array Logic
Smarandache logic
L&O
ZX-81
Baroque
CAYLEY
proof theory
logic variable
assertion
Lambada-Calculus
Pandora
Gottlob Frege
Boolean logic
temporal logic
GAPLog
First
< Previous
1
2
3
4
5
6
7
Next >
Last