Automated Deduction in Geometry [electronic resource] : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers

• Tác giả: Jürgen Richter-Gebert, Dongming Wang
• ISBN-13: 978-3540454106
• Ký hiệu phân loại: 006.3 Artificial intelligence
• Thông tin xuất bản: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Mô tả vật lý: VIII, 328 p. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 316567
• Chủ đề: 1. Application software; 2. Artificial intelligence; 3. Computer graphics; 4. Geometry; 5. Machine theory