Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers /
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Richter-Gebert, Jürgen (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Wang, Dongming (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2001.
|
Έκδοση: | 1st ed. 2001. |
Σειρά: | Lecture Notes in Artificial Intelligence ;
2061 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Automated Deduction in Geometry Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings /
Έκδοση: (1999) -
Advances in Pattern Recognition Joint IAPR International Workshops SSPR 2000 and SPR 2000 Alicante, Spain, August 30 - September 1, 2000 Proceedings /
Έκδοση: (2000) -
Articulated Motion and Deformable Objects First International Workshop, AMDO 2000 Palma de Mallorca, Spain, September 7-9, 2000 Proceedings /
Έκδοση: (2000) -
Computer Vision - ECCV 2000 6th European Conference on Computer Vision Dublin, Ireland, June 26 - July 1, 2000 Proceedings, Part I /
Έκδοση: (2000) -
Pattern Recognition 23rd DAGM Symposium, Munich, Germany, September 12-14, 2001. Proceedings /
Έκδοση: (2001)