... 西蒙又開發出一種不依賴於具體領域的通用問題求解器(General Problem Solver)。 ... 它能完成初等微積分中的不定積分式的計算。1963年,「邏輯理論家」也進化到能夠 ...
確定! 回上一頁