1
出版 2006
書本目錄: ...Session I: Foundations -- A Proof-Theoretic Approach to Hierarchical Math Library Organization...
獲取全文
電子 電子書