Translation
powered by 
search result for Propositional Linear Temporal Logic in Computing (FOLDOC) dictionary
nanocomputerRTLTypedPrologjaggiesprotected modetautologylinear argumentCLP*KL0northbridgenonlinearcomplete theoryMMIlogic bombCTLSpooldefinite clauseN-ProloglemmagoalAdLogdifference equationM-PrologLDTCirrus LogicFreshfuzzy computingpredicate calculusMATLABWesley Clarkfunctional unitSASL+LVfixed point combinatorPowerFuLECLapplication serverQutyCIRcuit CALculuslocalityOmega testSRLPrometheusnegation by failureMandalatruth tableKernel ParlogKAPREFINETurbo PrologORspeedometerinlineTTLSequelDelta-PrologBooleanLogic Design LanguageUranusinferenceHaskell Curryimpliessouthbridgeparadoxnoise shapingMRScomplete inference systemneutrosophic statisticsLYaPASlogical complementExtended Concurrent PrologD-type flip-flopHASLCubePPLambdafuzzy subsetcognitive architectureWestern Digital CorporationIntel 80186Digital Linear TapeModular Prolog