Information Initiative Center, Hokkaido University Sapporo, Hokkaido, 060-0811, Japan;
Skolemization; equivalent transformation; factoring; proof method; resolution;
机译:基于自由定理证明高阶多态结石程序变换的正确性
机译:K_SP K_n的基于分辨率的定理证明:体系结构,细化,策略和实验
机译:用Java构建基于解析度的定理证明者
机译:使用分辨率和分解的等效变换来证明定理
机译:如何有效地实现基于OSHL的自动定理证明。
机译:基于张量积模型变换的自适应积分滑模控制器:等效控制方法
机译:基于雨流技术和矿井定理的证明地面等效测试强度研究
机译:沉积物中的二恶英:基于国际毒性当量因子的有毒当量在疏浚物质调节中的应用