自动定理证明研究
_
automatic theorem proving research
пословный:
自动定理证明 | 研究 | ||
1) исследовать, изучать; исследование
2) работать, заниматься
3) рассматривать, обсуждать; решать, разбирать (проблему, задачу)
|
близкие:
自动定理证明 | 研究 | ||
1) исследовать, изучать; исследование
2) работать, заниматься
3) рассматривать, обсуждать; решать, разбирать (проблему, задачу)
|