基于线性误差断言的推理方法
武鹏, 吴尽昭
Reasoning method based on linear error assertion
WU Peng, WU Jinzhao
计算机应用 . 2021, (8): 2199 -2204 .  DOI: 10.11772/j.issn.1001-9081.2021030390

版权所有 © 2021 四川计算机应用杂志社有限公司
蜀ICP备 05010208 号-3　新出网证(川)字026号
技术支持：北京玛格泰克科技发展有限公司
访问总数：
今日访问：