基于变元项子句耦合度的多元演绎算法

曹锋; 袁雪杰; 邹玮刚; 易见兵

doi:10.13700/j.bh.1001-5965.2025.0857

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

基于变元项子句耦合度的多元演绎算法

曹锋, 袁雪杰, 邹玮刚, 易见兵

文章导航 > 北京航空航天大学学报 > 优先出版

曹锋, 袁雪杰, 邹玮刚, 等 . 基于变元项子句耦合度的多元演绎算法[J]. 北京航空航天大学学报. doi: 10.13700/j.bh.1001-5965.2025.0857

引用本文:

曹锋, 袁雪杰, 邹玮刚, 等 . 基于变元项子句耦合度的多元演绎算法[J]. 北京航空航天大学学报. doi: 10.13700/j.bh.1001-5965.2025.0857

CAO Feng, YUAN Xuejie, ZOU Weigang, et al. Multi-clause deduction algorithm based on coupling degree of variable-term clause[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2025.0857(in Chinese)

Citation:

CAO Feng, YUAN Xuejie, ZOU Weigang, et al. Multi-clause deduction algorithm based on coupling degree of variable-term clause[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2025.0857(in Chinese)

曹锋, 袁雪杰, 邹玮刚, 等 . 基于变元项子句耦合度的多元演绎算法[J]. 北京航空航天大学学报. doi: 10.13700/j.bh.1001-5965.2025.0857

引用本文:

曹锋, 袁雪杰, 邹玮刚, 等 . 基于变元项子句耦合度的多元演绎算法[J]. 北京航空航天大学学报. doi: 10.13700/j.bh.1001-5965.2025.0857

Citation: