Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

Saved in:
書目詳細資料
主要作者: Lupacchini, Rossella
企業作者: SpringerLink (Online service)
其他作者: Corsi, Giovanna
格式: 電子 電子書
語言:英语
出版: Milano : Springer Milan, 2008.
主題:
在線閱讀:http://dx.doi.org/10.1007/978-88-470-0784-0
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!