Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

Saved in:

書目詳細資料
主要作者:	Lupacchini, Rossella
企業作者:	SpringerLink (Online service)
其他作者:	Corsi, Giovanna
格式:	電子電子書
語言:	英语
出版:	Milano : Springer Milan, 2008.
主題:	Philosophy (General). Logic. Philosophy of nature. Information theory. Logic, Symbolic and mathematical. Mathematical physics. Philosophy. Philosophy of Nature. Theory of Computation. Mathematical Logic and Foundations. Mathematical and Computational Physics.
在線閱讀:	http://dx.doi.org/10.1007/978-88-470-0784-0
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

因特網