返回目錄
作者:  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.)