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

Charme Constraint Handling In Prolog Constraint Logic Programming incremental constraint solver CLP(R)definitional constraint programming Echidna CLP(sigma*)Programmable Array Logic TEMPLOG Oz CLP*HCLP ZX-81 GAPLog Goffin Trilogy neutrosophic logic logic gate LIFE Janus Goedel Transistor-Transistor Logic propositional logic temporal logic Siri constraint CLP predicate logic equational logic Bertrand BABYLON BNR Prolog Wild_LIFE tick EQLog fuzzy logic constraint satisfaction logic GPSS discrete preorder Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun Juno Kaleidoscope Lucy symbolic logic LO discrete Fourier transform Fourier transform ThingLab integrity constraint classical logic linear logic first-order logic Consul BABEL logic emulator graph colouring intuitionistic logic P-Prolog ConstraintLisp Lolli LOGIN intuitionistic probability quantifier HOL modal logic Distributed Logic Programming Q Horn clause {log}two-valued logic connective MODSIM field-programmable gate array Arithmetic and Logic Unit Tempura

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