Translation
powered by 
search result for Logic for Computable Functions in Computing (FOLDOC) dictionary
DLPMuseiffFlengLogic Replacement TechnologyCPprotocol converterGigaHertzsecond generation computerTYPOLScalable Processor ARChitectureLGENNOTLPSBNR PrologOcProlog++nanocomputerRTLTypedPrologtautologyCLP*KL0complete theoryarityfusionoccam 2MMIrun-time environmentlogic bombCTLSpooldefinite clauselemmaN-PrologControl ProgramAdLoggoalmodifierPKUNZIPM-PrologPDLLDTCirrus Logicpropositional calculusfuzzy computingpredicate calculusWesley Clarkpurely functional languagesupercombinatorsfunctional unitLispadditiveSASL+LVfixed point combinatorPowerFuLECLapplication serverQutyCIRcuit CALculuslambda expressionSoftware MethodologyMotorola 6801SRLPrometheusnymconstructed typenegation by failuretruth tableMandalaKernel ParlogKAPpresentation layerreduction strategyBASIC VREFINEhigher-order functionTurbo PrologORTTL