期刊文献+

软驱故障维修三则 被引量:2

The Global Properties of Valid Formulas in Modal Logic K
下载PDF
导出
摘要 本文针对软盘驱动器在使用过程中可能出现的软故障进行了详细的分析,在分析的基础上给出了相关的排除方法。
作者 刘哲
出处 《计算机应用研究》 CSCD 1996年第6期110-110,共1页 Application Research of Computers
关键词 软盘驱动器 故障 维修 Modal logic system K, global property, tableau method, automated reasoning
  • 相关文献

同被引文献2

引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部