Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | paperback Kategória: Matematické základy Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Naša cena knihy: 76.64 EUR (cena aktualizovaná 22.04.2025) Doručenie zdarma na Slovensko viac Komentáre čitateľov a knižné recenzie: Amazon |
K tejto knihe odporúčame taktiež nasledujúce knihy:
| An Illustrated Book of Bad Arguments Cena:  | Interactive Theorem Proving and Program Development Cena: 91.74 EUR  | Godel, Escher, Bach Cena: 23.50 EUR  | Theorem Proving in Higher Order Logics Cena:  |