VDict - Definition of Logic for Computable Functions

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

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

Smarandache logic L&O ZX-81 Prolog Baroque declarative language proof theory logic variable assertion Lambada-Calculus Persistent Functional Language Pandora Gottlob Frege Boolean logic temporal logic domain theory GAPLog SFLV PRL Parlog metalanguage AND extensional equality Echidna fact IC-Prolog Goedel computable abstract data type cextract CELP Dylperl glue Sequential Parlog Machine Comma CLP(sigma*)Boolean algebra paraconsistent probability neutrosophic probability model checking tautological probability Goffin Charme Transistor-Transistor Logic combinatory logic George Boole TABLOG CLP(R)Intel 80186 APPLOG postfix notation Extensible Shell HiLog three-tier Xilinx, Inc.Xilinx Netlist Format EPILOG expression tautological set effective computable asynchronous logic safe termcap ELP continuous function A'UM REXXWARE Constraint Logic Programming channel service unit/data service unit Parlog++tool bar PAL listless domain model lambda lifting recursion logic programming instantiation Neutrosophy neutrosophic set

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