The Seventeen Provers of the World - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence - Freek Wiedijk - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540307044 - 2006年2月3日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Freek Wiedijk
The Seventeen Provers of the World - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

価格
¥ 11.213
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月3日 - 年11月19日
クリスマスプレゼントは1月31日まで返品可能です
Freek Wiedijk の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

Presents formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems. This volume includes 17 systems for the formalization of mathematics. It showcases systems by presentation of the formalized proof and a description in the form of answers to a standard questionnaire.

162 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2006年2月3日
ISBN13 9783540307044
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 162
寸法 156 × 234 × 9 mm   ·   281 g
言語 フランス語  

同じ出版社からのその他の記事

Freek Wiedijkのすべてを見る