Record:   Prev Next
作者 International Workshop on Automated Deduction in Geometry (1996 : Toulouse, France)
書名 Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / Dongming Wang (ed.)
出版項 New York : Springer, 1998
國際標準書號 3540642978 (alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro I5.1 A939 1996  LNCS 1360    館內使用    30330000126628
 數學所圖書室  QA75.5 .L42  v.1360    在架上    30340200369563
Record:   Prev Next