具有计算可靠性的符号模型

检索

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

王亚弟;韩继红;朱玉娜;张超;赵娟;范钰丹

Symbolic Model with Computational Soundness

WANG Ya-di; HAN Ji-hong; ZHU Yu-na; ZHANG Chao; ZHAO Juan; FAN Yu-dan

计算机工程 . 2009, (13): 144 -146 . DOI: 10.3969/j.issn.1000-3428.2009.13.050