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

F+L Logic for Computable Functions LCF LeFun two-valued logic LEAF Isabelle logic gate first-order logic Algebraic Logic Functional language Programmable Array Logic BABEL neutrosophic logic southbridge logic ML complexity class lambda-calculus FUNLOG LIFE channel service unit propositional logic field-programmable gate array predicate logic equational logic Pop-11 EQLog Wild_LIFE Emitter Coupled Logic operator northbridge TEMPLOG symbolic logic fuzzy logic LO Fresh Triton classical logic linear logic logic emulator Boolean intuitionistic logic P-Prolog HASL Lolli Western Digital Corporation Joy LOGIN intuitionistic probability infix notation Subset-Equational Language quantifier HOL gate modal logic Distributed Logic Programming denotational semantics floating-point accelerator scripting language Horn clause {log}Constraint Handling In Prolog connective HCLP closure conversion Arithmetic and Logic Unit Tempura interpolation intuitionist logic Gunning Transceiver Logic Universal algebra Terse PRISM LML ObjVProlog LOP Lambda Prolog Built-in Self Test F-Logic Generic Array Logic

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