Automated Deduction in Geometry: Proc./Intern. Workshop on Automated Deduction in Geometry. Toulouse, France, September 1996

В2.11, Б4.32.

Automated Deduction in Geometry: Proc./Intern. Workshop on Automated Deduction in Geometry. Toulouse, France, September 1996Ed. by Wang D..-Berlin, Heidelberg.: Springer, 1997.-Vol. 1360.-235 p.-(Lecture Notes in Artificial Intelligence).