記錄 1 之 2
Record:   Prev Next
作者 International Workshop on Automated Deduction in Geometry (1st : 1996 : Toulouse, France)
書名 Automated deduction in geometry [electronic resource] : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / Dongming Wang (ed.)
出版項 Berlin ; New York : Springer, c1997
國際標準書號 9783540642978 (paper)
book jacket
記錄 1 之 2
Record:   Prev Next