Automated Deduction in Geometry
5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Автор:
Hoon Hong, Dongming Wang
Наличност:
Външен склад в ограничено количество
Изпращаме след 11-15 дни
59.17
€
115.73 лв
Presents the refereed post-proceedings of the 5th International Workshop on Automated Deduction in G...
