Re: [問題] 可以做"數學自動證明"的程式語言? - 看板 Programming - 批踢踢實業坊

作者loteslogin (張三立)

站內Programming

標題Re: [問題] 可以做"數學自動證明"的程式語言?

時間Fri Mar 30 21:27:42 2012

感覺很多狀況是表達的問題。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 84.19.165.214

→ mars90226:這個推文就好了吧... 125.226.27.60 03/30 22:07