Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29,

Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29,

作者:WangCarbonellSiekmann, 出版社:Springer, 出版日期:1998-04-24

定價 2711 元, 最低 1728 元起... Amazon 完整列出比價資訊...

商品條碼:9783540642978, ISBN:3540642978
分類標籤:Subjects » Books » Reference » History » Specialty Stores

 

內容簡介

Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29,
此商品目前尚無文字簡介

相關書籍