BibTeX记录日志/pcs/ValievDD09
@文章{DBLP:journals/pcs/ValievDD09， author={Mars K.Valiev和 Michael I.Dekhtyar和 亚历山大·贾。 迪科夫斯基}， title={由逻辑程序控制的代理系统：验证的复杂性}， 日志={Program.Comput.Softw.}， 体积={35}， 数字={5}， 页数={266--281}， 年份={2009}， url={ https://doi.org/10.1134/S03676880905003X }， doi={10.1134/S036176880905003X}， timestamp={周日，2020年9月6日18:04:18+0200}， biburl={ https://dblp.org/rec/journals/pcs/ValievDD09.bib }， bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
