-
Bib ID# 40505
ISBN: 9783642210464
UPC: 10.1007/978-3-642-21046-4
Title: Automated Deduction in Geometry7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers /
Author: Sturm, Thomas.
Publication Info:
Item Type: Language material