Translation
powered by 
search result for Algebraic Logic Functional language in Computing (FOLDOC) dictionary
S-LangCOLD-Kintuitionistic logicCPLA#REFALLNFmuFPStandard MLgatethird generation languageintuitionistic probabilityO-LogicGingerfuzzy logicEQLOGSimulating Digital SystemsPure LispParallel SMLEuclidOrwellquantifierSDFHOLWAFLPROOF/LLoglan'82Trafola-HLOTISIMPguardfunctionalCFPMini-MLRepresentation Language Languagebreak-even pointDaisyProbeLogic for Computable FunctionsLDLPARADEfunctional specificationDACAPOLDL1Yet Another Compiler CompilerHorn clausemachine cycleProlog-2VULCANGRAALCS-PrologLispkit Lispfunctional testingDAPLEXA-languageBABYLONDLPFFPMusetwo-valued logicFlengAdaplexNewtonconnectiveHCLPfunction completeCPfield-programmable gate arrayArithmetic and Logic UnitSOLCalcTYPOLLGENBNR PrologSISALsyntactic sugarPCLTwentelintuitionist logicGunning Transceiver Logic