宾纽伊,塞巴斯蒂安;庄、志强;王克文;斯坦蒂克,贝拉 语法为逻辑程序提供保护信念改变操作符。 (英语) Zbl 1407.68076号 ACM事务处理。计算。日志。 19,第2号,第12条,42页(2018年).MSC公司:68N17号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{S.Binnewies}等人,《美国医学杂志》。计算。日志。19,第2号,第12条,42页(2018;Zbl 1407.68076) 全文: 内政部 arXiv公司
文,廉;王克文;沈义东;林方珍 随机应答程序的相变模型。 (英语) Zbl 1367.68043号 ACM事务处理。计算。日志。 17,第3号,第22条,第34页(2016年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Wen}等人,ACM翻译。计算。日志。17,第3号,第22条,第34页(2016;Zbl 1367.68043) 全文: 内政部
王哲;王克文;罗德尼·托珀 基于替代语义特征的DL-Lite本体修订。 (英语) Zbl 1367.68297号 ACM事务处理。计算。日志。 第16号第4条第31条第37页(2015年).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Z.Wang}等人,ACM Trans。计算。日志。16,第4号,第31条,37页(2015;Zbl 1367.68297) 全文: 内政部 链接
王克文;周丽珠 析取逻辑程序基础良好的语义的比较和计算。 (英语) Zbl 1367.68042号 ACM事务处理。计算。日志。 6,第2期,295-327(2005).MSC公司:68N17号 68问题55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Wang}和\textit{L.Zhou},ACM Trans。计算。日志。6,第2号,295--327(2005;Zbl 1367.68042) 全文: 内政部 链接