| Type |  Book |
| ชื่อเรื่อง | Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler (ed.) |
| ผู้แต่ง | International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria) |
| ISBN | 3540209271 |
| พิมพลักษณ์ | Berlin : Springer, c2004 |
| รูปเล่ม | vi, 229 p. : ill. ; 24 cm |
| หัวเรื่อง | Logic, Symbolic and mathematical --Congresses [] |
| | Automatic theorem proving --Congresses [] |
| | Geometry --Data processing --Congresses [] |