节点文献
一个基于NOVELL网多媒体应用的设计实例
The Global Properties of Valid Formulas in Modal Logic K
【摘要】 本文以一个经济开发区信息管理与办公自动化系统的开发实例为背景，探讨了基于ＮＯＶＥＬＬ网的多媒体应用的设计思路、实现方法。
【关键词】 多媒体；
分布式数据库；
触发器；
计算机网络；
接口设计；
【Key words】 Modal logic system K； global property； tableau method； automated reasoning；
【Key words】 Modal logic system K； global property； tableau method； automated reasoning；
- 【文献出处】 计算机应用研究 ,Application Research of Computers , 编辑部邮箱 ,1996年06期
- 【分类号】TP393
- 【下载频次】6