詳細情報
- ID
- 001292493
- 典拠種別Type of Authority
- 個人名Personal Names
- 名称/タイトルName / Title
- Affeldt, Reynald, 1976-
- 別名/別タイトルVariant Name(s) / Title(s)
- アフェルト, レナルド
- 生年Date of Birth
- 1976
- 経歴Biographical Information
- 国立研究開発法人産業技術総合研究所勤務
- 関連リンクRelated Links
- NDL|001292493 (VIAF)
- 出典Sources
- Coq/SSReflect/MathCompによる定理証明, 2018.4
- 作成日Date Created
- 2018-06-04
- 最終更新日Last Updated
- 2018-06-05T16:46:00
- 外部サイトへのリンクExternal Link
- Wikipediaで検索を行うSearch the Japanese Wikipedia
※Wikipediaの検索結果の一覧が表示されます。
- 他形式のデータOther formats
- RDF/XML形式RDF/XML format, RDF/Turtle形式RDF/Turtle format, JSON-LD形式JSON-LD format