Renate Schmidt 
Automated Deduction — CADE-22 [PDF ebook] 
22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

поддержка
€57.81
Способы оплаты
Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!
язык английский ● Формат PDF ● ISBN 9783642029592 ● редактор Renate Schmidt ● издатель Springer Berlin Heidelberg ● опубликованный 2009 ● Загружаемые 3 раз ● валюта EUR ● Код товара 2170832 ● Защита от копирования Adobe DRM
Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

16 598 Электронные книги в этой категории