|
519.6(063) T80
Towards mechanized mathematical assistants [Electronic resource] : 14th symposium, calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings / ed. M. Kauers [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4573). - ISBN 978-3-540-73086-6 : Б. ц.
Рубрики: Вычислительная математика--Съезды и конференции
См. : Текст издания Доп.точки доступа: Kauers, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
|
|