電子書書目整合查詢結果
主題
Mathematical Logic and Foundations. (1)
Theory of Computation. (1)
Logic. (1)
Philosophy. (1)
Philosophy of Nature. (1)
Evidence. (1)
Mathematical and Computational Physics. (1)
分類號
121.65 (1)
出版年
2008 (1)
出版者
Springer-Verlag Italia, (1)
總筆數:1
書名
作者
出版年
查看
回報錯誤連結
Deduction, computation, experiment:exploring the effectiveness of proof /
Rossella Lupacchini, Giovanna Corsi.
2008
查看
回報問題連結
上一頁
第1頁/共1頁/跳至
1
頁
下一頁