计算机辅助工程的推理系统

A reasoning system for computer aided engineering