ログイン
ヘルプ
×終了
日本語
|
English
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Automatictheoremproving
図書(4 件)
選択行を:
10件
20件
50件
資料名
所蔵館
責任表示
出版者
出版年
所在
1
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant : electronic bk
その他
Adam Chlipala
MIT Press
2013
オンライン
2
Communication complexity : a new approach to circuit depth : electronic bk ( Acm doctoral dissertation award )
その他
Mauricio Karchmer
MIT Press
1989
オンライン
3
The little prover : electronic bk
その他
Daniel P. Friedman, Carl Eastlund, drawings by Duane Bibby, foreword by J Strother More
MIT Press
2015
オンライン
4
Numerical verification methods and computer-assisted proofs for partial differential equations ( Springer series in computational mathematics ; 53 )
太秦南館
Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
Springer
2019
太秦南館:5階閲覧室
413.63||N41n
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。