"Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers (Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence)" - читать интересную книгу автора (Francisco Botana, Tomas Recio) |
|
|