詳細Book検索「比較検討」
□メディア木龍トップページへ
□
お問合せフォーム
資料種別を選択
図書
雑誌
記事
新聞
和古書・漢籍
地図
電子資料
映像資料
録音資料
電子書籍・電子雑誌
博士論文
規格・テクニカルリポート類
Webサイト
楽譜
文書・図像類
児童書
リポジトリ収録資料
障害者(全体)
DAISY
点字資料
(年代を選択)~
江戸時代後期頃
明治時代頃
大正時代頃
昭和初め頃
昭和終戦後
平成
令和
(年代を選択)まで
江戸時代後期頃
明治時代頃
大正時代頃
昭和初め頃
昭和終戦後
平成
令和
「4627062419」の資料種別不問の検索結果
Tweet
検索件数:
1
件
Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化
[図書][紙]
ISBN:978-4-627-06241-2
著者:
萩原, 学, 1974-
Affeldt, Reynald, 1976-
発行者:森北出版
価格:3200円
メディア形態等:211p
参考情報:
索引あり
2018
国会図書館サーチで詳細情報を見る
版元ドットコムで詳細情報を見る
ジャパンサーチで横断検索する
各SNSでのつぶやきを見る
(Yahoo!リアルタイム検索に飛びます)
Google Scholarでタイトルを検索する
所蔵図書館等で見る
https://www.lib.pref.ibaraki.jp/licsxp-kopac/WOpacMsgNewListToTifTilDetailAction.do?tilcod=1003000343711
https://www.library.pref.chiba.lg.jp/licsxp-iopac/WOpacMsgNewListToTifTilDetailAction.do?tilcod=1000100612289
https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail-iccap.do?bibid=1153171529
https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail-iccap.do?bibid=1113583623
https://www.library.city.kawasaki.jp/detailsearch
https://www.library.pref.ishikawa.lg.jp/wo/opc_srh/srh_detail/1000001129402/
https://www.library-archives.pref.fukui.lg.jp/wo/opc_srh/srh_detail/1110330888/
https://www.tosyokan.pref.shizuoka.jp/licsxp-opac/WOpacMsgNewListToTifTilDetailAction.do?tilcod=1006000289790
https://www.library.pref.osaka.jp/licsxp-opac/WOpacMsgNewListToTifTilDetailAction.do?tilcod=10021400624395
https://web.oml.city.osaka.lg.jp/webopac_i_ja/0014487500
https://opac.libnet.pref.okayama.jp/licsxp-opac/WOpacMsgNewListToTifTilDetailAction.do?tilcod=1009812210680
https://ndlsearch.ndl.go.jp/books/R100000002-I028927081
http://library.affrc.go.jp/api/QQ20563382
https://www.books.or.jp/book-details/9784627062412
検索件数:
1
件