山口 恵子 | 東京学芸大学人文社会科系

スポンサーリンク

概要

• 山口 恵子の詳細を見る
• 同名の論文著者
• 東京学芸大学人文社会科系の論文著者

論文 | ランダム

• 強い否定を含む構成的理論による分解証明法の定式とメタ理論
• 下降型縦型探索を行なう自然言語の構文解析のゲンツェン式定式化
• コンスタントな命題を中心とする古典命題論理
• 強い否定を含む構成的命題論理における公理の単純化
• 強い否定を含む構成的述語論理によるPROLOGの解釈

もっと見る

スポンサーリンク