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: 109.93 EUR (ok. 463.44 zł) (aktualizacja cen dnia 03.02.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:

Interactive Theorem Proving and Program Development Cena: 270.82 zł

Godel, Escher, Bach Cena: 99.07 zł

Distribution Logistics Cena: 640.71 zł 408.97 zł

An Illustrated Book of Bad Arguments Cena: 59.23 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.61 EUR 137.48 zł Pokaż szczegόły	The Creativity Code: How Ai is Learning to Write, Paint and Think Cena: 15.70 EUR 66.19 zł Pokaż szczegόły
The Creativity Code: How Ai is Learning to Write, Paint and Think Cena: 23.73 EUR 100.04 zł Pokaż szczegόły	Mind Over Machine: The Power of Human Intuition and Expertise in the Era of the Computer Cena: 18.54 EUR 78.16 zł Pokaż szczegόły
What to Think About Machines That Think: Today's Leading Thinkers on the Age of Machine Intelligence Cena: 17.93 EUR 75.59 zł Pokaż szczegόły	Only Humans Need Apply: Winners and Losers in the Age of Smart Machines Cena: 32.61 EUR 137.48 zł Pokaż szczegόły
Reprogramming the American Dream: From Rural America to Silicon Valley-Making AI Serve Us All Cena: 40.77 EUR 171.88 zł Pokaż szczegόły	Concise Encyclopedia of Robotics Cena: 22.39 EUR 94.39 zł Pokaż szczegόły
Mind Performance Projects for the Evil Genius Cena: 37.48 EUR 158.01 zł Pokaż szczegόły	Self-Modifying Systems in Biology and Cognitive Science: A New Framework for Dynamics, Information and Complexity Cena: 90.61 EUR 381.99 zł Pokaż szczegόły
Application of Artificial Intelligence in Process Control: Lecture Notes Erasmus Intensive Course Cena: 84.59 EUR 356.61 zł Pokaż szczegόły	Artificial Intelligence in Real-Time Control 1998 Cena: 69.42 EUR 64.98 EUR 292.66 zł ok. 273.94 zł Pokaż szczegόły
Artificial Intelligence in Agriculture 2001 (AIA 2001) Cena: 65.70 EUR 276.98 zł Pokaż szczegόły	Handbook of Categorization in Cognitive Science Cena: 244.60 EUR 1031.17 zł Pokaż szczegόły
Fuzzy Modeling and Genetic Algorithms for Data Mining and Exploration Cena: 46.28 EUR 0.00 EUR 195.11 zł ok. 0.00 zł Pokaż szczegόły	Artificial Intelligence for Games Cena: 62.49 EUR 0.00 EUR 263.44 zł ok. 0.00 zł Pokaż szczegόły
Commonsense Reasoning Cena: 52.49 EUR 0.00 EUR 221.28 zł ok. 0.00 zł Pokaż szczegόły	Blondie24: Playing at the Edge of AI Cena: 21.24 EUR 0.00 EUR 89.54 zł ok. 0.00 zł Pokaż szczegόły
Constraint Processing Cena: 87.87 EUR 0.00 EUR 370.44 zł ok. 0.00 zł Pokaż szczegόły	Illustrating Evolutionary Computation with Mathematica Cena: 94.87 EUR 0.00 EUR 399.95 zł ok. 0.00 zł Pokaż szczegόły