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

XT bus architecture linear function ANSI C Qu-Prolog PI prefix notation Xcoral ALLIANCE Fortran 90 Atanasoff-Berry Computer twos complement Andorra Kernel Language proof Mu Bird-Meertens Formalism complement first class module intelligent backtracking bound variable Keyed-Hashing Message Authentication strict evaluation wrapper PowerPC 601 Stone Age green lightning content addressable memory MLISP funky Oz INTCODE G guard incremental constraint solver functor Z machine cycle Markov chain formula bit bashing modal POP-2 encapsulation implicit type conversion ABCL/R2 virtual sum NAND library CPL file server baz latch tri state DACTL OBJ SPEC CINT92 CMU Common Lisp fdlibm UFO Tagged Image File Format Interlisp presence detect POOL2 DeMorgan's theorem Adaptive Simulated Annealing induction Motorola 68060 LPG domain injection Amiga E tail recursion optimisation bash Active Reconfiguring Message combinator flip-flop sound Network Information Service fork bomb \begin

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