| 查看: 200 | 回复: 0 | |||
| 当前主题已经存档。 | |||
gq8026金虫 (小有名气)
|
[交流]
【交流】有研究几何自动推理的朋友吗【已搜无重复】
|
||
| 有研究几何自动推理的朋友吗？主要是利用自动推理来做智能教育软件的，欢迎来做交流，我才博一，请大家多多指教。谢谢。 |
回复此楼» 猜你喜欢
面上的水很深
已经有25人回复
-
国社科通讯评审
已经有7人回复
-
5个%2F，非固定段22个字母
已经有13人回复
-
小木虫没落了，除了祈祷帖子，几乎看不到有价值的帖子
已经有16人回复
-
生命口C13面上会评时间
已经有11人回复
-
生命口面上会评结束了吗大家有知道结果吗？现在还没有结果正常不？
已经有9人回复
-
投英文期刊如何查重
已经有6人回复
-
伯胺上甲基求助
已经有7人回复
-
生生命学部会评
已经有4人回复
-
H口，面上，时间戳7月7日。
已经有3人回复