Automated Deduction in Geometry. 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers Francisco Botana, Pedro Quaresma

Подробная информация о книге «Automated Deduction in Geometry. 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers Francisco Botana, Pedro Quaresma». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Automated Deduction in Geometry. 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers Francisco Botana, Pedro Quaresma»

Зарегистрироваться на сайте Подробнее
Francisco Botana, Pedro Quaresma - «Automated Deduction in Geometry. 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers»

О книге

Книга "Automated Deduction in Geometry. 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers".

Полное название книги Francisco Botana, Pedro Quaresma Automated Deduction in Geometry. 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Авторы Francisco Botana, Pedro Quaresma
Ключевые слова компьютерные технологии, разработка и алгоритмы
Категории Компьютеры и Internet
ISBN 9783319213613
Издательство Springer Nature Customer Service Center LLC
Год 2015
Название транслитом automated-deduction-in-geometry-10th-international-workshop-adg-2014-coimbra-portugal-july-9-11-2014-revised-selected-papers-francisco-botana-pedro-quaresma
Название с ошибочной раскладкой automated deduction in geometry. 10th international workshop, adg 2014, coimbra, portugal, july 9-11, 2014, revised selected papers francisco botana-pedro quaresma