VDict - Definition of Logic for Computable Functions

search result for Logic for Computable Functions in Computing (FOLDOC) dictionary

First < Previous 2 3 4 5 6 7 8 Next > Last

Sequel pure lambda-calculus NetWare Core Protocol Delta-Prolog Logic Design Language Message Handling System Uranus SNOBOL3 inference Haskell Curry implies viz paradox Digital Simulation Language balanced computing complete inference system MRS neutrosophic statistics LYaPAS window manager logical complement communications software Extended Concurrent Prolog D-type flip-flop statistics Extended Memory Specification Rocky Mountain Basic Cube zero assignment PPLambda fuzzy subset functional requirements non-uniform quantising logarithmic compression cognitive architecture terminal emulator one-way function Modular Prolog normal order reduction forum constant folding REGTRAL converse most general unifier Conjunctive Normal Form packet driver Sequenced Packet Exchange FX-87 LAURE Andorra-I logical relation EOF Emacs white box testing QLOG Internet Corporation for Assigned Names and Numbers real estate Leda built-in NOR protocol stack MARVIN Nuprl Strand applicative language selector transistor Network extensible Window System deductive database backward chaining Yale Haskell linear space BeBOP coprocessor Scheme Library Standard ML of New Jersey enhancement Generic Expert System Tool Polka ones complement C-BC

First < Previous 2 3 4 5 6 7 8 Next > Last