Automated Deduction in Geometry: Revised Papers/6th International Workshop, ADG 2006. Pontevedra, Spain, August/September 2006

Б4.32, В2.11.

Automated Deduction in Geometry: Revised Papers/6th International Workshop, ADG 2006. Pontevedra, Spain, August/September 2006Ed. by Botana F., Recio Th..-Berlin, Heidelberg.: Springer, 2007.-Vol. 4869.-213 p.-(Lecture Notes in Artificial Intelligence).