| 查看: 193 | 回复: 0 | |||
| 当前主题已经存档。 | |||
gq8026金虫 (小有名气)
|
[交流]
【交流】有研究几何自动推理的朋友吗【已搜无重复】
|
||
| 有研究几何自动推理的朋友吗？主要是利用自动推理来做智能教育软件的，欢迎来做交流，我才博一，请大家多多指教。谢谢。 |
回复此楼» 猜你喜欢
无聊看看filecode
已经有9人回复
-
售T0P一区SCI文章，我:8O5.51.O.54,科目齐全,可＋急
已经有4人回复
-
售T0P一区SCI文章，我:8O5.51.O.54,科目齐全,可＋急
已经有6人回复
-
无聊看看时间戳打发时间
已经有7人回复
-
27年博士招生信息
已经有7人回复
-
求推荐期刊，重谢
已经有4人回复
-
有机能跨方向申博吗
已经有3人回复
-
求助！！
已经有4人回复
-
kh550接枝Sio2失败求助
已经有3人回复
-
职称论文投稿
已经有12人回复