Springer Nature
The Seventeen Provers Of The World
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems. The 17 systems included in this volume are among the most relevant ones for the formalization of mathematics. The systems are showcased by presentation of the formalized proof and a description in the form of answers to a standard questionnaire. The 17 systems presented are HOL, Mizar, PVS, Coq, Otter/Ivy, Isabelle/Isar, Alfa/Agda, ACL2, PhoX, IMPS, Metamath, Theorema, Leog, Nuprl, Omega, B method, and Minlog.
Storico prezzi
Ricevi una notifica se il prezzo scende
Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.
- Aggiornamenti dei prezzi in tempo reale
- Oltre 50 negozi monitorati
- Avvisi gratuiti di calo prezzo
- Solo negozi verificati
Avvisami quando il prezzo scende sotto: 59,99$
Prodotti simili
Una selezione di prodotti che potrebbero interessarti. Guarda tutti
Seventeen World Tour 2022 Be The Sun Shirt, Seventeen World Shirt
17,95$
Seventeen Members World Tour 2022 Shirt, Seventeen World Tour 2022, Be The Sun Shirt
12,95$
2022 Seventeen Be The Sun Tour Poster, Seventeen World Tour 2022 Poster
11,95$
Seventeen World Tour 2022 Be The Sun Shirt
17,95$
Seventeen Members World Tour 2022 Kitchen Aprons, Seventeen World Tour 2022, Be The Sun Kitchen Aprons
16,95$
Seventeen World Tour 2022 Be The Sun T Shirt
12,95$
Seventeen World Tour 2022 Be The Sun Tumblers 30 Oz
28,95$
Vintage Seventeen Shirt. Seventeen Album Shirt. Seventeen Be The Sun
12,95$
