论文部分内容阅读
最新的视频播放工具QuickTimefor Windows2.01
【出 处】
：
新潮电子
【发表日期】
：
1996年7期
其他文献
本文介绍了一个基于推理方法的逻辑分析专家系统LAP(Logic Analysis expert system in Prolog)。文中详细介绍了LAP系统的功能、系统结构、逻辑电路的知识表述方法、描述语言
本文介绍集成数据库设计评价系统NITDBDA的设计思想、算法,以及特点.它支持关系和网络数据库从概念、逻辑直到物理设计的全过程,实现了关系数据库的逻辑与物理设计、网络数据
基于一个统一的测试方法,我们设计并实现了支持C软件测试的工具系统CSTT,CSTT由静态分析工具、断言检测工具、符号踪迹工具、分枝覆盖工具和断点显示工具组成,本文描述了该测试方法,介绍了CSTT的功能。
<正> 本文中的符号和术语,如未加说明,皆引自[1],给定整数M≥2,真值集合T_M={1,…,M},命题函数F_1(P_1,P_2)=P_1CP_2,F_2(P)=NP对应的真值函数分别为:
已经连续成功举办五届的“服装设计暨模特电视大赛”，在给人们带来美的享受的同时，也很受人们欢迎。这不仅仅是它拥有美的概念，而更重要的还是它那富含不断创新，引领市场消费的内