NDC Navi
大阪市立大学 村上研究室 浦 芳伸
TOP
相関牽引
分類記号
分類名
相関索引
410.96
記号論理学[論理計算]
述語論理(数学)