A Best-First Search Strategy for SOL Tableau Calculus
A Best-First Search Strategy for SOL Tableau Calculus
复制标题
SOL Tableau 微积分的最佳优先搜索策略
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
H. Nabeshima
中科院分区：
文献类型：
--
作者：
Hidetomo Nabeshima;Koji Iwanuma;Katsumi Inoue;渡辺 大樹，鍋島 英知;森 淳，鍋島 英知;鍋島英知;H. Nabeshima
