Automated deduction in geometry 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / [electronic resource] :

• 作者： International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria)
• 其他作者：
  • Winkler, Franz, 1955-
  • SpringerLink (Online service)
• 其他題名：
  • ADG 2002
  • Lecture notes in computer science
  • Lecture notes in computer science.
• 出版： Berlin ;New York : Springer
• 叢書名： Lecture notes in computer science,Lecture notes in artificial intelligence2930.
• 主題： Geometry--Data processing--Congresses , Automatic theorem proving--Congresses , Logic, Symbolic and mathematical--Congresses
• ISBN： 9783540209270 (paper)
• FIND@SFXID: CGU
• 資料類型: 電子書
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: