Computational Logic and Set Theory: Applying Formalized Logic to Analysis - Jacob T. Schwartz - 書籍 - Springer London Ltd - 9781447160182 - 2014年9月6日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Jacob T. Schwartz
Computational Logic and Set Theory: Applying Formalized Logic to Analysis 2011 edition

価格
¥ 10.384
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月25日 - 年9月10日
Jacob T. Schwartz の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the AEtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.

416 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2014年9月6日
ISBN13 9781447160182
出版社 Springer London Ltd
ページ数 416
寸法 155 × 235 × 23 mm   ·   607 g
言語 英語  

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

Jacob T. Schwartzのすべてを見る ( 例： Paperback Book および Hardcover Book )