一阶逻辑中基于稳定度的项评估方法

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

一阶逻辑中基于稳定度的项评估方法

钟建, 徐扬, 陈树伟, 何星星

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