|
關注：1
2013-05-23 12:21
求翻譯：attempts to check proofs done by hand with a theorem prover has thrown away a lot of them是什么意思？ 待解決
 懸賞分：1
- 離問題結束還有
attempts to check proofs done by hand with a theorem prover has thrown away a lot of them
問題補充： |
湖北省互聯網違法和不良信息舉報平臺 | 網上有害信息舉報專區 | 電信詐騙舉報專區 | 涉歷史虛無主義有害信息舉報專區 | 涉企侵權舉報專區
