>> Google Books

Automated Deduction in Geometry / Hoon Hong, Takeo Kanade, Dongming Wang

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin / Heidelberg, 2006
著者名:
ISBN:
9783540313328 [354031332X]
9783540313632 [354031363X]
書誌ID:
OB00353948
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック Automated Deduction in Geometry

Hong, Hoon, Kanade, Takeo, Wang, Dongming, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
7 電子ブック Automated Deduction – CADE-24

Hutchison, David; Kanade, Takeo; Kittler, Josef, Kanade, Takeo, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

International Workshop on Automated Deduction in Geometry, Hong, Hoon, Wang, Dongming

Springer
8 電子ブック Automated Deduction ? CADE-24

Hutchison, David; Kanade, Takeo; Kittler, Josef

Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Automated Deduction in Geometry

Sturm, Thomas, Kanade, Takeo, Zengler, Christoph

Springer eBooks Computer Science, Springer Berlin Heidelberg
9 電子ブック Automated Deduction – CADE-23

Bjørner, Nikolaj, Kanade, Takeo, Sofronie-Stokkermans, Viorica

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Automated Deduction in Geometry

Sturm, Thomas, Kanade, Takeo, Zengler, Christoph, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
10 電子ブック Automated Deduction in Geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

Wang, Dongming., SpringerLink (Online service)
5 電子ブック Automated Deduction in Geometry

International Workshop on Automated Deduction in Geometry, Wang, Dongming

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
11 電子ブック Automated Deduction in Geometry

International Workshop on Automated Deduction in Geometry, Gao, Xiao-Shan, Wang, Dongming, Yang, Lu

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Automated Deduction in Geometry

International Workshop on Automated Deduction in Geometry, Richter-Gebert, Jürgen, Wang, Dongming

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
12 電子ブック Automated Deduction ? CADE-23

Bj?rner, Nikolaj, Kanade, Takeo, Sofronie-Stokkermans, Viorica

Springer eBooks Computer Science, Springer Berlin Heidelberg
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12