中国计算机学会会刊
中国科技核心期刊
中文核心期刊
首页
期刊介绍
期刊荣誉
数据库收录
编委会
投稿指南
投稿须知
出版道德
期刊订阅
下载中心
联系我们
English
命题逻辑中一种矛盾体生成新方法
黎兴玉, 何星星, 马雪, 李莹芳
A new contradiction generation method in propositional logic
LI Xing-yu, HE Xing-xing, MA Xue, LI Ying-fang
计算机工程与科学 . 2023, (
06
): 1134 -1140 .