/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2011ホーム
/
石下 裕里
氏名
石下 裕里
ふりがな
いしした ゆり
所属
お茶の水女子大学大学院 人間文化創成科学研究科
発表リスト
06月03日(Fri) 13:00〜17:30 H会場(63名-学習室1(県大7F))
題目
3H2-OS3-2 前提記述のための動的論理の証明論構築に向けて
著者
石下 裕里
戸次 大介
論文
PDFファイル