Sciweavers

ADG
2006
Springer

Mechanical Theorem Proving in Tarski's Geometry

14 years 6 days 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)