·2,447,543篇论文数据，部分数据来源于NoteExpress
This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。
youdao
应用推荐
模块上移
模块下移
不移动