Related Books
Language: en
Pages: 646
Pages: 646
Type: BOOK - Published: 2007 - Publisher:
Language: de
Pages: 183
Pages: 183
Type: BOOK - Published: 1974 - Publisher:
Language: de
Pages: 207
Pages: 207
Type: BOOK - Published: 2013-12-14 - Publisher: Springer-Verlag
Language: en
Pages: 221
Pages: 221
Type: BOOK - Published: 2006-01-25 - Publisher: Springer Science & Business Media
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesvil
Language: de
Pages:
Pages:
Type: BOOK - Published: 1986 - Publisher: