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

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

Książka w twardej okładce Kategoria: Logika matematyczna Kategoria: Przetwarzanie danych: zagadnienia ogólne Kategoria: Programowanie komputera/ Rozwój oprogramowania Kategoria: Inżynieria oprogramowania Kategoria: Informatyka Kategoria: Analiza i projekty systemów Kategoria: Architektura komputerowa i logiczny projekt Kategoria: Sztuczna inteligencja Cena internetowa: 144.85 EUR (ok. 624.14 zł) (aktualizacja cen dnia 14.08.2026) Darmowa wysyłka do Polski więcej Ocena czytelnikόw i komentarze: Amazon

Wraz z niniejszą książką, polecamy również następujące tytuły:

Distribution Logistics Cena: 654.87 zł 452.48 zł

Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions Cena: 276.80 zł

Geometry of Continued Fractions Cena: 349.15 zł

Godel, Escher, Bach Cena: 101.26 zł

Książki z kategorii Sztuczna inteligencja

Więcej od książek

The Creativity Code: How Ai is Learning to Write, Paint and Think Cena: 33.08 EUR 142.54 zł Pokaż szczegόły	The Creativity Code: How Ai is Learning to Write, Paint and Think Cena: 15.15 EUR 65.28 zł Pokaż szczegόły
The Creativity Code: How Ai is Learning to Write, Paint and Think Cena: 23.73 EUR 102.25 zł Pokaż szczegόły	Mind Over Machine: The Power of Human Intuition and Expertise in the Era of the Computer Cena: 24.32 EUR 104.79 zł Pokaż szczegόły
What to Think About Machines That Think: Today's Leading Thinkers on the Age of Machine Intelligence Cena: 23.69 EUR 102.08 zł Pokaż szczegόły	Only Humans Need Apply: Winners and Losers in the Age of Smart Machines Cena: 30.26 EUR 130.39 zł Pokaż szczegόły
Reprogramming the American Dream: From Rural America to Silicon Valley-Making AI Serve Us All Cena: 32.29 EUR 139.13 zł Pokaż szczegόły	Concise Encyclopedia of Robotics Cena: 28.36 EUR 122.20 zł Pokaż szczegόły
Mind Performance Projects for the Evil Genius Cena: 37.41 EUR 161.20 zł Pokaż szczegόły	Self-Modifying Systems in Biology and Cognitive Science: A New Framework for Dynamics, Information and Complexity Cena: 98.08 EUR 422.62 zł Pokaż szczegόły
Application of Artificial Intelligence in Process Control: Lecture Notes Erasmus Intensive Course Cena: 92.02 EUR 396.50 zł Pokaż szczegόły	Artificial Intelligence in Real-Time Control 1998 Cena: 71.70 EUR 308.95 zł Pokaż szczegόły
Artificial Intelligence in Agriculture 2001 (AIA 2001) Cena: 71.96 EUR 310.07 zł Pokaż szczegόły	Handbook of Categorization in Cognitive Science Cena: 248.16 EUR 1069.30 zł Pokaż szczegόły
Fuzzy Modeling and Genetic Algorithms for Data Mining and Exploration Cena: 46.28 EUR 0.00 EUR 199.42 zł ok. 0.00 zł Pokaż szczegόły	Artificial Intelligence for Games Cena: 62.49 EUR 0.00 EUR 269.26 zł ok. 0.00 zł Pokaż szczegόły
Commonsense Reasoning Cena: 52.49 EUR 0.00 EUR 226.17 zł ok. 0.00 zł Pokaż szczegόły	Blondie24: Playing at the Edge of AI Cena: 21.24 EUR 0.00 EUR 91.52 zł ok. 0.00 zł Pokaż szczegόły
Constraint Processing Cena: 87.87 EUR 0.00 EUR 378.62 zł ok. 0.00 zł Pokaż szczegόły	Illustrating Evolutionary Computation with Mathematica Cena: 94.87 EUR 0.00 EUR 408.79 zł ok. 0.00 zł Pokaż szczegόły