読書メーター KADOKAWA Group

Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science)

Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science)

形式：ペーパーバック

出版社：Springer

その他の形式（β版）

本の詳細

登録数
0登録
ページ数
495ページ

書店で詳細を見る

感想・レビュー
0

データの取得中にエラーが発生しました
感想・レビューがありません
新着
参加予定
検討中
さんが
ネタバレ
コメント()

読み込み中…
／
読み込み中…
読み込み中…

この本を登録した読書家

読み込み中です