Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | paperback Kategorie: Matematické základy Naše cena: 87.22 EUR (cca 2190 Kč) (cena aktualizována 23.09.2024) Doprava zdarma do České republiky a na Slovensko více Komentáře čtenářů a knižní recenze: Amazon |
Společně s touto kniho zároveň doporučujeme tyto knihy:
| Theorem Proving in Higher Order Logics Cena:  | What Is the Name of This Book? Cena: 339 Kč  | An Illustrated Book of Bad Arguments Cena: 443 Kč  | Building Proofs Cena: 577 Kč  |