>> Google Books
所蔵情報QRコード

Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings / Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c1999
形態:
vi, 285 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1669 . Lecture notes in artificial intelligence <BA00009279>
著者名:
ISBN:
9783540666721 [3540666729]
書誌ID:
BA43687646
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

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

Springer

International Conference on Automated Deduction, Kirchner, Claude, Kirchner, Hélène

Springer

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

Springer

International Workshop on Automated Deduction in Geometry, Winkler, Franz, 1955-

Springer

International Conference on Theorem Proving in Higher Order Logics, Grundy, J. (Jim), 1968-, Newey, Malcolm Charles

Springer

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

International Conference on Automated Deduction, McRobbie, M. A. (Michael A.), Slaney, John K.

Springer

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12