|
關注：1
2013-05-23 12:21
求翻譯：As mentioned earlier, syntactic unification of first-order terms was introduced by Post and Herbrand in the early part of this century.是什么意思？ 待解決
 懸賞分：1
- 離問題結束還有
As mentioned earlier, syntactic unification of first-order terms was introduced by Post and Herbrand in the early part of this century.
問題補充： |
湖北省互聯網違法和不良信息舉報平臺 | 網上有害信息舉報專區 | 電信詐騙舉報專區 | 涉歷史虛無主義有害信息舉報專區 | 涉企侵權舉報專區
