查询英文翻译
以下是定理证明系统的英文，定理证明系统的英语翻译。
中文：定理证明系统
英文翻译：【计】theoremproving system
【wjccx.com汉英词典】为您提供定理证明系统的英文是什么，定理证明系统的英文怎么写。
定理证明系统的英文共有 90 查询热度。
