hide
Title:
Automated Deduction in Geometry
Subtitle
:
7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
Abbreviation
:
ADG 2008
Source Genre:
Proceedings
Creator(s):
Sturm, Thomas1, Editor
Zengler, Christoph2, Editor
Affiliations:
1
Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2
External Organizations, ou_persistent22
Publ. Info:
Berlin : Springer
Pages:
-
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
116 - 140
Identifier:
ISBN: 978-3-642-21045-7