Automated Deduction in Geometry: Revised Papers/5th International Workshop, ADG 2004. Gainesville, FL, USA, September 2004

В2.11, Б4.3.

Automated Deduction in Geometry: Revised Papers/5th International Workshop, ADG 2004. Gainesville, FL, USA, September 2004Ed. by Hong H., Wang D..-Berlin, Heidelberg.: Springer, 2006.-Vol. 3763.-213 p.-(Lecture Notes in Artificial Intelligence).