超媒体创作工具的研究与实现

近年来兴起的超媒体技术已得到越来越多的重视。功能完备、高效的超媒体创作工具随之成为需求，本文讨论了我们开发的交互式基于对明的媒体创作工具ＯＨＭＴ的数据模型，系统结构，功能模块及其相应的实现技术。     

归纳法推理中的子句简化策略*

本文介绍归纳法推理系统中的简化策略．系统推理能力在很大程度上取决于系统简化待证公式的能力．本文从定义的类型规定出发，描述了如何计算并利用类型集信息来简化子句,以及如何在运用重写策略的基础上，完成对各种子句的简化，该系统已在微机上用编译LIsP语言实现．