「数理論理学」に関するサイレントキーワード「有限モデル理論」が含まれる科研費採択研究1件

【研究名】ポジティブ関係計算とポジティブ存在論理の相互的研究
【研究代表者】中村 誠希  東京工業大学   情報理工学院   助教 	https://nrid.nii.ac.jp/ja/nrid/1000000866311/