一階論理上の等号推論:理論と実際
一階論理上の等号推論:理論と実際
复制标题
一阶逻辑中的等式推理：理论与实践
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
岩沼宏治,鍋島英知,井上克巳
中科院分区：
文献类型：
--
作者：
大田直樹;岩崎敦;横尾真;V.Conitzer;T.Sandholm;岩沼宏治,鍋島英知,井上克巳
