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

narrowing Baroque metasyntax proof theory type scheme assertion Lambada-Calculus Pandora monitor symbolic inference Gottlob Frege Boolean logic temporal logic GAPLog SFLV PRL Parlog metalanguage AND Echidna single assignment fact strength reduction TZ IC-Prolog Goedel FUNLOG LEAF call-by-value-result Goffin CELP DIM statement glue dynamic link Sequential Parlog Machine CLP(sigma*)Boolean algebra paraconsistent probability neutrosophic probability model checking tautological probability Charme LIFE channel service unit Isabelle Transistor-Transistor Logic combinatory logic MIB Variable George Boole TABLOG CLP(R)polymorphism APPLOG fuzzy logic three-tier Xilinx, Inc.Xilinx Netlist Format Digital Lempel Ziv 1 EPILOG tautological set visualisation asynchronous logic abstraction N Wild_LIFE ELP A'UM Constraint Logic Programming indirection Parlog++PAL logic gate Neutrosophy neutrosophic set scan design parallelism abduction horizontal encoding central processing unit constructive

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