Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | hardback Категорія: Комп'ютери Програмування / Розробка програмного забезпечення Категорія: Комп'ютерна наука Категорія: Комп'ютери: Загальні Категорія: Розробка програмного забезпечення Категорія: Штучний інтелект Категорія: Комп'ютерна Архітектура & Дизайн Логічні Категорія: Системний аналіз і дизайн Категорія: математична логіка Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Наша ціна: 119.34 EUR (Ціна оновлена 19.09.2024) Безкоштовна доставка в Україну більше Читацькі коментарі та рецензії: Amazon |
Разом з цією книгою, ми також рекомендуємо наступні книги:
| Interactive Theorem Proving and Program Development Ціна: 64.24 EUR  | An Illustrated Book of Bad Arguments Ціна: 14.05 EUR  | Theorem Proving in Higher Order Logics Ціна:  | Godel, Escher, Bach Ціна: 23.50 EUR  |