VDict - Definition of combinatory logic

search result for combinatory logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

inference implies southbridge paradox MRS complete inference system neutrosophic statistics LYaPAS logical complement D-type flip-flop Extended Concurrent Prolog HASL Cube PPLambda fuzzy subset cognitive architecture Western Digital Corporation Intel 80186 Modular Prolog REGTRAL converse most general unifier Conjunctive Normal Form LAURE Andorra-I white box testing QLOG real estate Leda Strand applicative language transistor backward chaining deductive database gate BeBOP Standard ML of New Jersey Generic Expert System Tool Polka ones complement Qu-Prolog ALLIANCE twos complement Andorra Kernel Language proof complement intelligent backtracking bound variable PowerPC 601 Stone Age green lightning content addressable memory MLISP Oz G guard incremental constraint solver Z machine cycle formula modal latch DACTL SPEC CINT92 presence detect POOL2 DeMorgan's theorem induction LPG Active Reconfiguring Message flip-flop sound fork bomb \begin CORAL declarative language race condition Stephen Kleene VULCAN memory leak

First < Previous 1 2 3 4 5 Next > Last