Translation
powered by 
search result for Computational Tree Logic in Computing (FOLDOC) dictionary
dynamic random access memoryintelligent terminalDissociated Presssnail mailnatural deductionelementintegrated circuitback doorURL redirectionmicrocodeCycGMD Toolbox for Compiler Constructioncdrby handaxiomatic set theoryMIPS Technologies, Inc.demonFinite State Machinedisk drivesortCDLfencepost errorsecond generation computerHigh Performance Serial BusmobyTree Transformation LanguagecanonicalLightweight Directory Access ProtocolJoint Test Action GroupPlan 9microprocessorPurdue Compiler-Construction Tool SetinterpreterAmiga