Freek (ed Wiedijk | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?

THE SEVENTEEN PROVERS OF THE WORLD : FOREWORD BY DANA S. SCOTT

Freek Wiedijk (ed.)
Springer (2006)
Pehmeäkantinen kirja

56,40 €

INTELLIGENT COMPUTER MATHEMATICS : 9TH INTERNATIONAL CONFERENCE, AISC 2008 15TH SYMPOSIUM, CALCULEMUS 2008 7TH INTERNATIONAL CON

Serge Autexier (ed.); John Campbell (ed.); Julio Rubio (ed.); Volker Sorge (ed.); Masakazu Suzuki (ed.); Freek (ed Wiedijk
Springer (2008)
Pehmeäkantinen kirja

51,40 €

INTERACTIVE THEOREM PROVING : SECOND INTERNATIONAL CONFERENCE, ITP 2011, BERG EN DAL, THE NETHERLANDS, AUGUST 22-25, 2011, PROCE

Marko Van Eekelen (ed.); Herman Geuvers (ed.); Julien Schmaltz (ed.); Freek Wiedijk (ed.)
Springer (2011)
Pehmeäkantinen kirja

51,40 €

LOGICS AND TYPE SYSTEMS IN THEORY AND PRACTICE : ESSAYS DEDICATED TO HERMAN GEUVERS ON THE OCCASION OF HIS 60TH BIRTHDAY

Venanzio Capretta (ed.); Robbert Krebbers (ed.); Freek Wiedijk (ed.)
Springer (2024)
Pehmeäkantinen kirja

121,40 €

The Seventeen Provers of the World : Foreword by Dana S. Scott

Freek Wiedijk (ed.)

56,40 €

Springer
Sivumäärä: 162 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2006, 03.02.2006 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Artificial Intelligence

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus