圖書(shū)名稱: | Automated Deduction in Geometry幾何學(xué)的自動(dòng)演繹/會(huì)議錄 | |||
封面圖片: |
![]() |
|||
出版印刷時(shí)間: | 2004-3 | |||
出版社: | 北京燕山出版社 | |||
圖書(shū)作者: | Winkler, Franz | |||
文件格式: | ||||
13位ISBN: | 9783540209270 | |||
10位ISBN: | 3540209271 | |||
頁(yè)數(shù): | 229 | |||
下載地址: | Automated Deduction in Geometry幾何學(xué)的自動(dòng)演繹/會(huì)議錄PDF格式下載 | |||
|
||||
查看詳細(xì): | Automated Deduction in Geometry幾何學(xué)的自動(dòng)演繹/會(huì)議錄 | |||
250萬(wàn)本中文圖書(shū)簡(jiǎn)介、評(píng)論、評(píng)分,PDF格式免費(fèi)下載。 第一圖書(shū)網(wǎng) 手機(jī)版