Proof Assistants and Their Applications in Mathematics and Computer Science - Computer Science Foundations and Applied Logic - - 書籍 - Springer International Publishing AG - 9783031851896 - 2027年1月9日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Proof Assistants and Their Applications in Mathematics and Computer Science - Computer Science Foundations and Applied Logic

価格
¥ 12.026
税抜
発送予定日 2027年1月18日 - 2027年1月21日

お客様の声：

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

Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
発売予定 2027年1月9日
ISBN13 9783031851896
出版社 Springer International Publishing AG
ページ数 390
寸法 150 × 220 × 20 mm   ·   617 g   (重量（概算）)
編集者 Blanchette, Jasmin
編集者 Mahboubi, Assia

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