登入選單
Google圖書搜尋
ISBN : 9781447101475總數: gridview
Automated Theory Formation in Pure Mathematics
作者
Simon Colton
出版Springer Science & Business Media, 2012-12-06
ISBN
9781447101475 / 1447101472
主題
Mathematics