Natural Language Quantification and Dependent Types

資料に関する注記

書店で探す

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

お茶の水女子大学教育・研究成果コレクション “TeaPot”
デジタル
連携先のサイトで、学術機関リポジトリデータベース（IRDB）（機関リポジトリ）が連携している機関・データベースの所蔵状況を確認できます。
お茶の水女子大学教育・研究成果コレクション “TeaPot”のサイトでこの本を確認

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 博士論文
タイトル: Natural Language Quantification and Dependent Types
著者・編者: 田中, リベカ
著者標目: 田中, リベカ
授与機関名: お茶の水女子大学
授与年月日: 2021-03-23
報告番号: 乙第000422号
学位: 博士（理学）
本文の言語コード: eng
対象利用者: 一般
一般注記: お茶の水女子大学人間文化創成科学研究科博士(理学)学位論文･令和3年3月23日授与(乙第422号)
記録形式（IMT）: application/pdf
一次資料へのリンクURL: https://teapot.lib.ocha.ac.jp/record/2000263/files/o_422_honbun_koukai.pdf （fulltext）
https://teapot.lib.ocha.ac.jp/record/2000263/files/o_422_honbun_koukai.pdf
オンライン閲覧公開範囲: インターネット公開
連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
提供元機関・データベース: お茶の水女子大学 : お茶の水女子大学教育・研究成果コレクション “TeaPot”