読書メーター KADOKAWA Group

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)

形式：ペーパーバック

出版社：Springer

本の詳細

登録数
3登録
ページ数
240ページ

書店で詳細を見る

感想・レビュー
0

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

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

この本を登録した読書家

読み込み中です