WEKO3
アイテム
Natural Language Quantification and Dependent Types
http://hdl.handle.net/10083/0002000263
http://hdl.handle.net/10083/00020002632c75b484-75b9-448e-aab3-89b5146888f2
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 2021-09-30 | |||||||
タイトル | ||||||||
タイトル | Natural Language Quantification and Dependent Types | |||||||
言語 | en | |||||||
言語 | ||||||||
言語 | eng | |||||||
資源タイプ | ||||||||
資源 | http://purl.org/coar/resource_type/c_db06 | |||||||
タイプ | doctoral thesis | |||||||
アクセス権 | ||||||||
アクセス権 | open access | |||||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||
著者 |
田中, リベカ
× 田中, リベカ
|
|||||||
著者(ヨミ) | ||||||||
姓名 | タナカ, リベカ | |||||||
言語 | ja-Kana | |||||||
著者(英) | ||||||||
姓名 | TANAKA, Ribeka | |||||||
言語 | en | |||||||
内容記述 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | お茶の水女子大学人間文化創成科学研究科博士(理学)学位論文・令和3年3月23日授与(乙第422号) | |||||||
学位名 | ||||||||
学位名 | 博士(理学) | |||||||
学位授与機関 | ||||||||
学位授与機関識別子Scheme | kakenhi | |||||||
学位授与機関識別子 | 12611 | |||||||
学位授与機関名 | お茶の水女子大学 | |||||||
学位授与年月日 | ||||||||
学位授与年月日 | 2021-03-23 | |||||||
学位授与番号 | ||||||||
学位授与番号 | 乙第000422号 |