论文部分内容阅读
本文介绍了一个已研制成功的基于逻辑的模型库管理系统，该系统的功能、特点及其应用领域。
This article describes a successful logic-based model library management system, the system’s features, features and application areas.