登入
選單
返回
Google圖書搜尋
Mathematical Knowledge Management Across Formal Libraries
Dennis Müller
出版
Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
, 2019
URL
http://books.google.com.hk/books?id=iZ86zQEACAAJ&hl=&source=gbs_api