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 firstorder logic in Computing (FOLDOC) dictionary
First
< Previous
1
2
3
4
5
Next >
Last
neutrosophic logic
propositional logic
predicate logic
equational logic
EQLog
logic
Emitter Coupled Logic
Algebraic Logic Functional language
F+L
LeFun
Programmable Array Logic
TEMPLOG
symbolic logic
LO
classical logic
linear logic
first-order logic
BABEL
logic emulator
intuitionistic logic
P-Prolog
Lolli
LOGIN
intuitionistic probability
quantifier
HOL
modal logic
Distributed Logic Programming
Horn clause
{log}
two-valued logic
Constraint Handling In Prolog
connective
HCLP
field-programmable gate array
Arithmetic and Logic Unit
Tempura
intuitionist logic
Gunning Transceiver Logic
Universal algebra
PRISM
Terse
LML
ObjVProlog
LOP
Lambda Prolog
Built-in Self Test
F-Logic
Generic Array Logic
Smarandache logic
L&O
ZX-81
Baroque
proof theory
logic variable
assertion
Lambada-Calculus
Pandora
Gottlob Frege
Boolean logic
temporal logic
GAPLog
SFLV
PRL
Parlog
metalanguage
AND
Echidna
fact
IC-Prolog
Goedel
FUNLOG
LEAF
CELP
glue
Sequential Parlog Machine
CLP(sigma*)
Boolean algebra
paraconsistent probability
neutrosophic probability
First
< Previous
1
2
3
4
5
Next >
Last