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 Boolean unification in Computing (FOLDOC) dictionary
First
< Previous
1
2
Next >
Last
Boolean
occurs check
unification
NOR
two-valued logic
Boolean search
guard
satisfiability problem
NAND
Boolean algebra
complete unification
Constraint Handling In Prolog
Boolean logic
logical complement
HASL
logic gate
bitwise
Han character
fuzzy logic
weighted search
logic
George Boole
SETS
operator
bool
NOT
unify
Han Unification
PHOCUS
Fresh
truth table
Quty
algebraic structure
OR
negation by failure
implies
AND
logic programming
GAPLog
SFLV
QPE
unifier
constant folding
narrowing
most general unifier
FUNLOG
constraint
built-in
gate
ISL
Prolog-III
System Control Language
search term
TABLOG
HiLog
enumerated type
principal type
Arithmetic and Logic Unit
Constraint Logic Programming
Extended Self-containing Prolog
binary
IDEAL
inference rule
scalar
RTL/2
instantiation
Lolli
idempotent
neutrosophic logic
logic variable
XSB
Parlog
BinProlog
NIL
delta reduction
type
type inference
Wild_LIFE
C+-
resolution
First
< Previous
1
2
Next >
Last