Original language | English |
---|---|
Pages (from-to) | V |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 2061 |
State | Published - 2001 |
Event | 3rd International Workshop on Automated Deduction in Geometry, ADG 2000 - Zurich, Switzerland Duration: 25 Sep 2000 → 27 Sep 2000 |