定理证明机造句

例句与造句

1. ML的实力大多被用于语言设计和操作（编译器、分析器、定理证明机），但是它作为通用语言也被用于生化，金融系统，和宗谱数据库，一个P2P的客户／服务器程序等等。
2. 用定理证明机造句挺难的，這是一个万能造句的方法