Sciweavers

Share
ADG
2004
Springer

Mechanical Theorem Proving in Computational Geometry

12 years 5 months ago
Mechanical Theorem Proving in Computational Geometry
Laura I. Meikle, Jacques D. Fleuriot
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where ADG
Authors Laura I. Meikle, Jacques D. Fleuriot
Comments (0)
books