検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Automatictheoremproving
選択行を：
 資料名所蔵館責任表示出版者出版年所在
1書影Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant : electronic bk その他Adam ChlipalaMIT Press2013オンライン
2書影Communication complexity : a new approach to circuit depth : electronic bk ( Acm doctoral dissertation award )その他Mauricio KarchmerMIT Press1989オンライン
3書影The little prover : electronic bk その他Daniel P. Friedman, Carl Eastlund, drawings by Duane Bibby, foreword by J Strother MoreMIT Press2015オンライン
4書影Numerical verification methods and computer-assisted proofs for partial differential equations ( Springer series in computational mathematics ; 53 )太秦南館Mitsuhiro T. Nakao, Michael Plum, Yoshitaka WatanabeSpringer2019太秦南館:５階閲覧室 413.63||N41n
選択行を：
▲ページトップへ