Pascal Schreck

1 published title

Automated deduction in geometry : 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010 : Revised selected papers

(Contributor)

1 edition