Lecture Notes in
Artificial Intelligence                 1360

Subseries of Lecture Notes in Computer Science

Dongming Wang (Ed.)

Automated Deduction
in Geometry

International Workshop
on Automated Deduction in Geometry
Toulouse, France, September 1996
Selected Papers

Springer