Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Autor: Yves Bertot, Yves Bertot, P. Castéran

hardback Kategorie: Matematická logika Kategorie: Computing: Obecné Kategorie: Computer Programming / vývoj softwaru Kategorie: Softwarové inženýrství Kategorie: Počítačová věda Kategorie: Systémová analýza a design Kategorie: Computer Architecture & Logic design Kategorie: Umělá inteligence Naše cena: 109.93 EUR (cca 2673 Kč) (cena aktualizována 30.01.2026) 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:

Distribution Logistics Cena: 3696 Kč 2359 Kč

Geometry of Continued Fractions Cena: 1971 Kč

An Illustrated Book of Bad Arguments Cena: 342 Kč

Theorem Proving in Higher Order Logics Cena: 2016 Kč 1203 Kč

Knihy z kategorie Umělá inteligence

Více než knih

The Creativity Code: How Ai is Learning to Write, Paint and Think Cena: 32.61 EUR cca 793 Kč Podrobnosti o knize	The Creativity Code: How Ai is Learning to Write, Paint and Think Cena: 15.70 EUR cca 382 Kč Podrobnosti o knize
The Creativity Code: How Ai is Learning to Write, Paint and Think Cena: 23.73 EUR cca 577 Kč Podrobnosti o knize	Mind Over Machine: The Power of Human Intuition and Expertise in the Era of the Computer Cena: 18.54 EUR cca 451 Kč Podrobnosti o knize
What to Think About Machines That Think: Today's Leading Thinkers on the Age of Machine Intelligence Cena: 17.93 EUR cca 436 Kč Podrobnosti o knize	Only Humans Need Apply: Winners and Losers in the Age of Smart Machines Cena: 32.61 EUR cca 793 Kč Podrobnosti o knize
Reprogramming the American Dream: From Rural America to Silicon Valley-Making AI Serve Us All Cena: 40.77 EUR cca 992 Kč Podrobnosti o knize	Concise Encyclopedia of Robotics Cena: 22.39 EUR cca 545 Kč Podrobnosti o knize
Mind Performance Projects for the Evil Genius Cena: 37.48 EUR cca 912 Kč Podrobnosti o knize	Self-Modifying Systems in Biology and Cognitive Science: A New Framework for Dynamics, Information and Complexity Cena: 90.61 EUR cca 2204 Kč Podrobnosti o knize
Application of Artificial Intelligence in Process Control: Lecture Notes Erasmus Intensive Course Cena: 84.59 EUR cca 2057 Kč Podrobnosti o knize	Artificial Intelligence in Real-Time Control 1998 Cena: 69.42 EUR 64.98 EUR cca 1688 Kč cca 1580 Kč Podrobnosti o knize
Artificial Intelligence in Agriculture 2001 (AIA 2001) Cena: 65.70 EUR cca 1598 Kč Podrobnosti o knize	Handbook of Categorization in Cognitive Science Cena: 244.60 EUR cca 5949 Kč Podrobnosti o knize
Fuzzy Modeling and Genetic Algorithms for Data Mining and Exploration Cena: 46.28 EUR 0.00 EUR cca 1126 Kč cca 0 Kč Podrobnosti o knize	Artificial Intelligence for Games Cena: 62.49 EUR 0.00 EUR cca 1520 Kč cca 0 Kč Podrobnosti o knize
Commonsense Reasoning Cena: 52.49 EUR 0.00 EUR cca 1277 Kč cca 0 Kč Podrobnosti o knize	Blondie24: Playing at the Edge of AI Cena: 21.24 EUR 0.00 EUR cca 517 Kč cca 0 Kč Podrobnosti o knize
Constraint Processing Cena: 87.87 EUR 0.00 EUR cca 2137 Kč cca 0 Kč Podrobnosti o knize	Illustrating Evolutionary Computation with Mathematica Cena: 94.87 EUR 0.00 EUR cca 2307 Kč cca 0 Kč Podrobnosti o knize