-
Bib ID# 31574
ISBN: 9783642406720
UPC: 10.1007/978-3-642-40672-0
Title: Automated Deduction in Geometry9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
Author: Ida, Tetsuo.
Publication Info:
Item Type: Language material