Sciweavers

103
Voted
ADG
2006
Springer

Mechanical Theorem Proving in Tarski's Geometry

15 years 2 months ago
Mechanical Theorem Proving in Tarski's Geometry
Julien Narboux
Added 13 Jun 2010
Updated 13 Jun 2010
Type Conference
Year 2006
Where ADG
Authors Julien Narboux
Comments (0)