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: 115.70 EUR (cca 2837 Kč) (cena aktualizována 04.04.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:

Interactive Theorem Proving and Program Development Cena: 1575 Kč

Theorem Proving in Higher Order Logics Cena: 2033 Kč 1226 Kč

Godel, Escher, Bach Cena: 576 Kč

Geometry of Continued Fractions Cena: 1987 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.76 EUR cca 803 Kč Podrobnosti o knize	The Creativity Code: How Ai is Learning to Write, Paint and Think Cena: 15.77 EUR cca 387 Kč Podrobnosti o knize
The Creativity Code: How Ai is Learning to Write, Paint and Think Cena: 23.73 EUR cca 582 Kč Podrobnosti o knize	Mind Over Machine: The Power of Human Intuition and Expertise in the Era of the Computer Cena: 18.90 EUR cca 464 Kč Podrobnosti o knize
What to Think About Machines That Think: Today's Leading Thinkers on the Age of Machine Intelligence Cena: 18.02 EUR cca 442 Kč Podrobnosti o knize	Only Humans Need Apply: Winners and Losers in the Age of Smart Machines Cena: 26.57 EUR cca 652 Kč Podrobnosti o knize
Reprogramming the American Dream: From Rural America to Silicon Valley-Making AI Serve Us All Cena: 29.53 EUR 26.51 EUR cca 724 Kč cca 650 Kč Podrobnosti o knize	Concise Encyclopedia of Robotics Cena: 22.48 EUR cca 551 Kč Podrobnosti o knize
Mind Performance Projects for the Evil Genius Cena: 37.65 EUR cca 923 Kč Podrobnosti o knize	Self-Modifying Systems in Biology and Cognitive Science: A New Framework for Dynamics, Information and Complexity Cena: 91.02 EUR cca 2232 Kč Podrobnosti o knize
Application of Artificial Intelligence in Process Control: Lecture Notes Erasmus Intensive Course Cena: 84.97 EUR cca 2084 Kč Podrobnosti o knize	Artificial Intelligence in Real-Time Control 1998 Cena: 69.42 EUR 65.28 EUR cca 1702 Kč cca 1601 Kč Podrobnosti o knize
Artificial Intelligence in Agriculture 2001 (AIA 2001) Cena: 65.99 EUR cca 1618 Kč Podrobnosti o knize	Handbook of Categorization in Cognitive Science Cena: 245.69 EUR cca 6025 Kč Podrobnosti o knize
Fuzzy Modeling and Genetic Algorithms for Data Mining and Exploration Cena: 46.28 EUR 0.00 EUR cca 1135 Kč cca 0 Kč Podrobnosti o knize	Artificial Intelligence for Games Cena: 62.49 EUR 0.00 EUR cca 1533 Kč cca 0 Kč Podrobnosti o knize
Commonsense Reasoning Cena: 52.49 EUR 0.00 EUR cca 1287 Kč cca 0 Kč Podrobnosti o knize	Blondie24: Playing at the Edge of AI Cena: 21.24 EUR 0.00 EUR cca 521 Kč cca 0 Kč Podrobnosti o knize
Constraint Processing Cena: 87.87 EUR 0.00 EUR cca 2155 Kč cca 0 Kč Podrobnosti o knize	Illustrating Evolutionary Computation with Mathematica Cena: 94.87 EUR 0.00 EUR cca 2327 Kč cca 0 Kč Podrobnosti o knize