| 查看: 216 | 回复: 0 | |||
| 当前主题已经存档。 | |||
gq8026金虫 (小有名气)
|
[交流]
【交流】有研究几何自动推理的朋友吗【已搜无重复】
|
||
| 有研究几何自动推理的朋友吗？主要是利用自动推理来做智能教育软件的，欢迎来做交流，我才博一，请大家多多指教。谢谢。 |
回复此楼» 猜你喜欢
论文的挂名怎么评判贡献？基金申请中，排名第一的挂名文章
已经有3人回复
-
越来越担心硕士毕业后没有竞争力了
已经有13人回复
-
申博自荐 2篇一区TOP+1篇EI+2公开发明专利 2027博士申请
已经有3人回复
-
闲聊
已经有6人回复
-
申博求助
已经有4人回复