期刊文献+

初探DOS程序在WINDOWS中应用的得益

The Global Properties of Valid Formulas in Modal Logic K
下载PDF
导出
摘要 微软公司推出的WINDOWS在国内的普及正方兴未艾,长期来我们在DOS系统中工作的大量程序能否适应这样的变革?本文从七个方面介绍了我们的DOS程序在WINDOWS中工作的点滴体会。我们认为,DOS程序在WINDOWS中应用,不仅是可以的,而且带来了新的活力和乐趣。它使人们摆脱了繁杂的命令行死记,把枯燥的操作变得轻松愉快,并能使DOS程序的内涵得到更充分的发挥。特别是对那些包含图形输出的DOS程序,效果尤为显著。
出处 《计算机应用研究》 CSCD 1996年第2期52-54,共3页 Application Research of Computers
关键词 WINDOWS DOS 应用程序 操作系统 Modal logic system K, global property, tableau method, automated reasoning
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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