城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Affeldt Reynald)
該当件数:1件
研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP2014) / 溝口佳寛 [ほか] 編集
福岡 : 九州大学マス・フォア・インダストリ研究所, 九州大学大学院数理学府 , 2015.3. - (MI lecture note series ; v. 61)
図書