Xiao-lu Gao, Dongming Wang, Lu Yang

Automated Deduction in Geometry - 1999 - Springer Berlin Heidelberg 1999 - Lecture Notes in Computer Science .

9783540479970


Computer Science