Open Access基于目标演绎距离的一阶逻辑子句集预处理方法 (First-order Logic Clause Set Preprocessing Method Based on Goal Deduction Distance).
Author(s) -
Feng Cao,
Yang Xu,
Jian Zhong,
Xinran Ning
Publication year - 2020
Publication title -
计算机科学
Language(s) - English
DOI - 10.11896/jsjkx.190100004
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom