摘要
浅谈个人计算机总线技术及其发展历程总后司令部指挥保障室（北京１００８４２）王晓武实际工作中，经常遇到许多朋友在选购个人计算机或家用电脑时提出这样的问题：“什么是ＩＳＡ、ＥＩＳＡ、ＶＬ－－ＢＵＳ、ＰＣＩ总线？”，“选购什么样总线的机器更合适呢？”，本文...
出处
《计算机应用研究》
CSCD
1996年第2期5-6,共2页
Application Research of Computers
关键词
总线
个人计算机
标准
Modal logic system K, global property, tableau method, automated reasoning
