「数理論理学」に関するサイレントキーワード「シークエント計算」が含まれる科研費採択研究1件

【研究名】シークエント計算の新技法
【研究代表者】鹿島 亮  東京工業大学   大学院・情報理工学研究科   助教授 	https://nrid.nii.ac.jp/ja/nrid/1000010240756/