VDict - Definition of constraint logic

search result for constraint logic in Computing (FOLDOC) dictionary

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

Generic Array Logic Smarandache logic L&O ZX-81 Baroque proof theory logic variable assertion Lambada-Calculus Pandora Gottlob Frege Boolean logic temporal logic SFLV PRL Parlog metalanguage AND fact IC-Prolog FUNLOG LEAF CELP glue Sequential Parlog Machine Boolean algebra paraconsistent probability neutrosophic probability model checking tautological probability channel service unit Isabelle Transistor-Transistor Logic combinatory logic George Boole TABLOG APPLOG fuzzy logic HiLog three-tier Xilinx, Inc.Xilinx Netlist Format EPILOG tautological set asynchronous logic ELP A'UM Parlog++PAL logic gate logic programming instantiation Neutrosophy neutrosophic set TK!Solver scan design Ilog Solver DCP CHIP CCP abduction Animus FIDO linear programming unification horizontal encoding central processing unit Concurrent Constraint Programming CFP constructive VIVID Interest Group in Pure and Applied Logics PECOS vertical encoding CONSTRAINTS Triton Garnet HEQS Magritte Laboratory INstrument Computer

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