VDict - Definition of combinatory logic

search result for combinatory logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

glue Sequential Parlog Machine CLP(sigma*)Boolean algebra paraconsistent probability neutrosophic probability model checking tautological probability Charme LIFE channel service unit Isabelle Transistor-Transistor Logic George Boole TABLOG CLP(R)APPLOG fuzzy logic HiLog three-tier Xilinx, Inc.Xilinx Netlist Format EPILOG tautological set asynchronous logic microcode Wild_LIFE ELP A'UM Constraint Logic Programming Parlog++PAL logic gate logic programming instantiation Neutrosophy neutrosophic set scan design abduction unification horizontal encoding central processing unit constructive Interest Group in Pure and Applied Logics vertical encoding Triton Trilogy Laboratory INstrument Computer scan register handwave Subset-Equational Language occurs check O-Logic accumulator EQLOG OBJ0 MALI Simulating Digital Systems CPLD PLTL complexity analysis resolution ET mill ALF LOTIS Sure ALU MegaHertz Programmable Logic Controller Probe Very Large Scale Integration HCPRVR LDL Logic for Computable Functions skolemisation Prolog axiom LTL intuitionism

First < Previous 1 2 3 4 5 Next > Last