| 查看: 165 | 回复: 0 | |||
| 当前主题已经存档。 | |||
gq8026金虫 (小有名气)
|
[交流]
【交流】有研究几何自动推理的朋友吗【已搜无重复】
|
||
| 有研究几何自动推理的朋友吗？主要是利用自动推理来做智能教育软件的，欢迎来做交流，我才博一，请大家多多指教。谢谢。 |
回复此楼» 猜你喜欢
推荐一本书
已经有10人回复
-
纳米粒子粒径的测量
已经有6人回复
-
国自然申请面上模板最新2026版出了吗？
已经有6人回复
-
溴的反应液脱色
已经有4人回复
-
参与限项
已经有5人回复
-
有没有人能给点建议
已经有5人回复
-
假如你的研究生提出不合理要求
已经有12人回复
-
全日制（定向）博士
已经有5人回复
-
萌生出自己或许不适合搞科研的想法，现在跑or等等看？
已经有4人回复
-
Materials Today Chemistry审稿周期
已经有4人回复