「証明論」に関するサイレントキーワード「含意関係認識」が含まれる科研費採択研究1件

【研究名】証明論と図形論理の手法に基づく自然言語推論の統合的分析
【研究代表者】峯島 宏次  慶應義塾大学   文学部(三田)   准教授 	https://nrid.nii.ac.jp/ja/nrid/1000080725739/