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: 108.13 EUR (ok. 454.40 zł) (aktualizacja cen dnia 18.12.2025) 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:

Godel, Escher, Bach Cena: 98.76 zł

Distribution Logistics Cena: 638.67 zł 404.90 zł

Geometry of Continued Fractions Cena: 340.52 zł

Theorem Proving in Higher Order Logics Cena: 348.42 zł 208.56 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: 32.33 EUR 135.86 zł Pokaż szczegόły	The Creativity Code: How Ai is Learning to Write, Paint and Think Cena: 14.62 EUR 61.44 zł Pokaż szczegόły
The Creativity Code: How Ai is Learning to Write, Paint and Think Cena: 23.73 EUR 99.72 zł Pokaż szczegόły	Mind Over Machine: The Power of Human Intuition and Expertise in the Era of the Computer Cena: 18.50 EUR 77.74 zł Pokaż szczegόły
What to Think About Machines That Think: Today's Leading Thinkers on the Age of Machine Intelligence Cena: 17.81 EUR 74.84 zł Pokaż szczegόły	Only Humans Need Apply: Winners and Losers in the Age of Smart Machines Cena: 32.33 EUR 135.86 zł Pokaż szczegόły
Reprogramming the American Dream: From Rural America to Silicon Valley-Making AI Serve Us All Cena: 40.41 EUR 169.82 zł Pokaż szczegόły	Concise Encyclopedia of Robotics Cena: 22.26 EUR 93.54 zł Pokaż szczegόły
Mind Performance Projects for the Evil Genius Cena: 37.16 EUR 156.16 zł Pokaż szczegόły	Self-Modifying Systems in Biology and Cognitive Science: A New Framework for Dynamics, Information and Complexity Cena: 90.02 EUR 378.30 zł Pokaż szczegόły
Application of Artificial Intelligence in Process Control: Lecture Notes Erasmus Intensive Course Cena: 84.05 EUR 353.21 zł Pokaż szczegόły	Artificial Intelligence in Real-Time Control 1998 Cena: 69.42 EUR 64.44 EUR 291.73 zł ok. 270.80 zł Pokaż szczegόły
Artificial Intelligence in Agriculture 2001 (AIA 2001) Cena: 65.13 EUR 273.70 zł Pokaż szczegόły	Handbook of Categorization in Cognitive Science Cena: 242.49 EUR 1019.03 zł Pokaż szczegόły
Fuzzy Modeling and Genetic Algorithms for Data Mining and Exploration Cena: 46.28 EUR 0.00 EUR 194.49 zł ok. 0.00 zł Pokaż szczegόły	Artificial Intelligence for Games Cena: 62.49 EUR 0.00 EUR 262.61 zł ok. 0.00 zł Pokaż szczegόły
Commonsense Reasoning Cena: 52.49 EUR 0.00 EUR 220.58 zł ok. 0.00 zł Pokaż szczegόły	Blondie24: Playing at the Edge of AI Cena: 21.24 EUR 0.00 EUR 89.26 zł ok. 0.00 zł Pokaż szczegόły
Constraint Processing Cena: 87.87 EUR 0.00 EUR 369.26 zł ok. 0.00 zł Pokaż szczegόły	Illustrating Evolutionary Computation with Mathematica Cena: 94.87 EUR 0.00 EUR 398.68 zł ok. 0.00 zł Pokaż szczegόły