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

General Activities Simulation Program FIDO digital Packet Assembler/Disassembler linear programming unification horizontal encoding central processing unit SIMSCRIPT CFP Concurrent Constraint Programming constructive VIVID Interest Group in Pure and Applied Logics PECOS vertical encoding CONSTRAINTS Triton Garnet HEQS Magritte ECSL PASSIM Amulet Laboratory INstrument Computer OCL Simulation Oriented Language Screamer On-line Process Synthesizer Digital Signature Standard scan register digital computer handwave Subset-Equational Language Prolog-III constraint functional programming moby Multi-Garnet occurs check ISETL featurectomy GAP O-Logic accumulator EQLOG OBJ0 Simulating Digital Systems MALI Omega test CPLD PLTL complexity analysis resolution ET ALF mill Sure LOTIS grey-scale ALU MegaHertz Programmable Logic Controller Probe Very Large Scale Integration Logic for Computable Functions HCPRVR LDL skolemisation Prolog axiom IIL LCF LTL GTL PLC PLD intuitionism DACAPO LDL1 Prolog-2

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