作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
一阶逻辑中基于稳定度的项评估方法
钟建, 徐扬, 陈树伟, 何星星
Stability-based Term Evaluation Method in First-order Logic
ZHONG Jian, XU Yang, CHEN Shuwei, HE Xingxing
计算机工程 . 2019, (11): 183 -190,197 .  DOI: 10.19678/j.issn.1000-3428.0054368