Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Computer Science)
Ein Sammelband aus dem internationalen Workshop „Automated Deduction in Geometry“, der im Juli 2014 in Coimbra stattfand, fasst überarbeitete Aus ...