期刊文献+

UNIX/XENIX系统下的终端故障处理

The Global Properties of Valid Formulas in Modal Logic K
下载PDF
导出
摘要 UNIX/XENIX系统下的终端故障处理戴宗荫,勇伟(哈尔滨投资高等专科学校计算中心150080)在UNIX/XENIX系统下,即多用户状态下,由于多个用户并行工作,同时运行多个相同或不同的任务,往往使用同一组数据资源,这就难免相互不发生冲突。这常常...
作者 戴宗荫 勇伟
出处 《计算机应用研究》 CSCD 1996年第6期108-109,共2页 Application Research of Computers
关键词 终端设备 故障处理 UNIX XENIX 微机 Modal logic system K, global property, tableau method, automated reasoning
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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