VDict - Definition of discrete combinatorial constraint logic

search result for discrete combinatorial constraint logic in Computing (FOLDOC) dictionary

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

intuitionist logic Gunning Transceiver Logic Universal algebra Terse PRISM LML ObjVProlog LOP Lambda Prolog Built-in Self Test F-Logic Generic Array Logic Smarandache logic L&O Baroque state proof theory logic variable assertion Lambada-Calculus Pandora Nyquist Theorem Gottlob Frege Boolean logic computational geometry SFLV PRL Parlog metalanguage AND discrete cosine transform fact IC-Prolog FUNLOG LEAF CELP glue Sequential Parlog Machine Boolean algebra paraconsistent probability neutrosophic probability model checking tautological probability channel service unit Isabelle SIMULA I combinatory logic George Boole TABLOG APPLOG HiLog three-tier Xilinx, Inc.Xilinx Netlist Format EPILOG tautological set asynchronous logic ELP A'UM DNA computing Parlog++PAL metaheuristic logic programming instantiation MODSIM II MILITRAN Neutrosophy DFT DCT neutrosophic set TK!Solver scan design Ilog Solver DCP crisp CHIP CCP abduction Animus

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