Sciweavers

page 69 / 60054
» publications
Sort
View
198
Voted
ADG
2006
Springer
252views Mathematics» more  ADG 2006»
16 years 22 days ago
Mechanical Theorem Proving in Tarski's Geometry
Julien Narboux