登入選單
返回Google圖書搜尋
Cooperation in Heterogeneous Theorem Prover Networks
Dirk Fuchs
出版IOS Press, 2000
主題Computers / Computer ScienceMathematics / Calculus
ISBN15860312449781586031244
URLhttp://books.google.com.hk/books?id=vsc4ohW8EvQC&hl=&source=gbs_api
EBookSAMPLE