CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ]
メニュー
検索
論文・データをさがす
大学図書館の本をさがす
日本の博士論文をさがす
ログイン
English
図書・雑誌検索
著者検索
内容検索
検索
すべての資料
図書
雑誌
詳細検索
タイトル
タイトル完全一致
統一タイトルを含む
著者名
別名を含む
著者ID
統一タイトルID
出版者
ISBN
ISSN
NCID
件名
分類
注記
資料種別
すべての資料種別
図書・雑誌
地図資料
文字資料（点字）
楽譜（印刷）
文字資料（書写資料）
地図（書写資料）
楽譜（書写資料）
静止画像（投影）
マイクロ形態
静止画像（非投影）
映画
録音資料（音楽）
録音資料（非音楽）
ビデオレコード
機械可読データファイル
3次元工芸品,自然の事物
キット
言語種別
すべての言語
日本語
英語
ドイツ語
フランス語
中国語
ロシア語
スペイン語
イタリア語
韓国・朝鮮語
アラビア語
出版年
年から
年まで
図書館ID
機関ID
地域
すべての地域
北海道
東北地方
青森
岩手
宮城
秋田
山形
福島
関東地方
茨城
栃木
群馬
埼玉
千葉
東京
神奈川
北陸・甲信越地方
新潟
富山
石川
福井
山梨
長野
東海地方
岐阜
静岡
愛知
三重
関西地方
滋賀
京都
大阪
兵庫
奈良
和歌山
中国・四国地方
鳥取
島根
岡山
広島
山口
徳島
香川
愛媛
高知
九州・沖縄地方
福岡
佐賀
長崎
熊本
大分
宮崎
鹿児島
沖縄
アジア地域
韓国
中国
タイ
ヨーロッパ地域
イギリス
ドイツ
スイス
フランス
ベルギー
オランダ
スウェーデン
ノルウェー
北米地域
アメリカ
その他海外
図書館ID・機関ID・地域を記憶する
検索
閉じる
検索
検索
【2023年10月31日掲載】CiNii BooksのCiNii Researchへの統合について
新「国立国会図書館サーチ」公開によるCiNiiサービスへの影響について
Affeldt, Reynald
ID:DA19042119
別名
アフェルト, レナルド（アフェルト, レナルド）
阿费尓特, 雷纳尓多
同姓同名の著者を検索
検索結果
1件中 1-1 を表示
すべて選択：
新しいウィンドウで開く
RefWorksに書き出し
EndNoteに書き出し
Refer/BibIXで表示
RISで表示
BibTeXで表示
TSVで表示
20件ずつ表示
50件ずつ表示
100件ずつ表示
200件ずつ表示
出版年：新しい順
出版年：古い順
所蔵館：多い順
所蔵館：少ない順
タイトル：五十音順
タイトル：五十音逆順
関連度
1
Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化
萩原学, アフェルト・レナルド共著
森北出版
2018.4
所蔵館92館
この著者を外部サイトでさがす
VIAF
KAKEN — 研究者をさがす
J-GLOBAL
researchmap
Google Scholar
Google
Yahoo! JAPAN
関連著者
萩原, 学
ページトップへ