VDict - Definition of Boolean unification

Dictionary
Translation

Tools
About
- About
- FAQ
- Privacy policy
- Contact us
Options
Tiếng Việt

Lookup

Computing (FOLDOC)

English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese

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

Copyright © 2004-2016 VDict.com