Harrie de Swart 
Automated Reasoning with Analytic Tableaux and Related Methods [PDF ebook] 
International Conference, TABLEAUX’98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings

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

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

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