VDict - Definition of logic variable

search result for logic variable in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 7 Next > Last

AMD 29000 Logic Design Language Uranus display calling convention inference Haskell Curry implies southbridge paradox MRS complete inference system neutrosophic statistics LYaPAS MacLisp logical complement hidden flag volatile D-type flip-flop Extended Concurrent Prolog HASL PRESTO System Control Language Cube PPLambda fuzzy subset scanf cognitive architecture Western Digital Corporation Intel 80186 Modular Prolog instance variable REGTRAL single static assignment most general unifier converse Conjunctive Normal Form maximal free expression monad LAURE Andorra-I waldo internal field separators white box testing QLOG flag day real estate Leda Strand applicative language transistor deductive database backward chaining gate BeBOP fnord Standard ML of New Jersey Generic Expert System Tool Polka ones complement eta conversion Qu-Prolog makefile ALLIANCE RLaB baz twos complement principal type Andorra Kernel Language proof call-by-reference complement termcap brute force attack beta reduction PowerPC 601 Stone Age compress Head Normal Form green lightning

First < Previous 1 2 3 4 5 6 7 Next > Last