小樽商科大学の蔵書を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #証明 )
該当件数:18件
天書の証明 / M.アイグナー, G.M.ツィーグラー著 ; 蟹江幸博訳
東京 : 丸善出版 , 2022.1
図書
数学にとって証明とはなにか : ピタゴラスの定理からイプシロン・デルタ論法まで / 瀬山士郎著
東京 : 講談社 , 2019.8. - (ブルーバックス ; B-2107)
Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著
東京 : 森北出版 , 2018.4
定理証明手習い / Daniel P. Friedman, Carl Eastlund著
東京 : ラムダノート , 2017.10
証明の探究 / 日比孝之著
増補版. - 吹田 : 大阪大学出版会 , 2016.11. - (共通教育シリーズ)
四色問題 : どう解かれ何をもたらしたのか / 一松信著
東京 : 講談社 , 2016.5. - (ブルーバックス ; B-1969)
刑事事実認定の基本問題 / 木谷明編著
第2版. - 東京 : 成文堂 , 2010.5
だれでも証明が書ける : 眞理子先生の数学ブートキャンプ / 松井知己著
東京 : 日本評論社 , 2010.2
要件事実・事実認定論と基礎法学の新たな展開 : 伊藤滋夫先生喜寿記念 / 河上正二 [ほか] 編
東京 : 青林書院 , 2009.2
自由証明の研究 / 高田昌宏著
東京 : 有斐閣 , 2008.3. - (大阪市立大学法学叢書 / 大阪市立大学法学会編 ; 57)
真偽と証明 : 正義は一つか / 竜嵜喜助著
東京 : 尚学社 , 2004.5
要件事実・事実認定入門 : 裁判官の判断の仕方を考える / 伊藤滋夫著
東京 : 有斐閣 , 2003.11
ケースブック要件事実・事実認定 / 伊藤滋夫, 山崎敏彦編著
東京 : 有斐閣 , 2002.12
事実認定の基礎 : 裁判官による事実判断の構造 / 伊藤滋夫著
第5刷(補訂). - 東京 : 有斐閣 , 2000.6
債権総論 / 倉田卓次監修
東京 : 西神田編集室 , 1986.7. - (要件事実の証明責任 / 倉田卓次監修)
裁判における証明論の基礎 : 事実認定と証明責任のベイズ論的再構成 / 太田勝造著
東京 : 弘文堂 , 1982.11
民事裁判における証明責任 / 村上博巳著
東京 : 判例タイムズ社 , 1980.4
証明責任の研究 / 村上博巳著
東京 : 有斐閣 , 1975