Автор: Matt Kaufmann; Lawrence C. Paulson Название: Interactive Theorem Proving ISBN: 3642140513 ISBN-13(EAN): 9783642140518 Издательство: Springer Рейтинг: Цена: 97820.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools.
Автор: Stefan Berghofer; Tobias Nipkow; Christian Urban; Название: Theorem Proving in Higher Order Logics ISBN: 364203358X ISBN-13(EAN): 9783642033582 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 22nd International Conference TPHOLs 2009 Munich Germany August 1720 2009 Proceedings. .
Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar Название: Theorem Proving in Higher Order Logics ISBN: 3540710655 ISBN-13(EAN): 9783540710653 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
