期刊文献+

中文WINDOWS3.1故障维护技巧一组

The Global Properties of Valid Formulas in Modal Logic K
下载PDF
导出
摘要 中文WINDOWS3.1是一个支持MSDOS应用程序、支持多媒体、多任务、多窗口的优秀中文操作系统,很受广大计算机用户的青睐。但是,一个系统软件在运行过程中由于种种原因经常会发生一些故障,重新安装虽然能排除所有故障,但太费时费力,而且会丢失用户创建的所有信息。所以,掌握软件的维护方法显得尤为重要。特别是象中文WINDOWS3.且这样庞大的系统软件,其维护方法和技巧就更显得重要了。本文就笔者的实践经验,给出了中文WINDOWS3.且的一些故障维护方法和技巧。
作者 岳国英
出处 《计算机应用研究》 CSCD 1996年第3期96-97,共2页 Application Research of Computers
关键词 WINDOWS 应用程序 故障 维护 Modal logic system K, global property, tableau method, automated reasoning
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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