BibTeX记录日志/apal/DekhtyarDV06
@文章{DBLP:journals/apal/DekhtyarDV06, author={Michael I.Dekhtyar和 亚历山大·贾。 迪科夫斯基和 Mars K.Valiev}, title={关于交互代理行为验证的复杂性}, 日志={Ann.Pure Appl.Log.}, 体积={141}, 数字={3}, 页面={336-362}, 年份={2006}, url={ https://doi.org/10.1016/j.apal.2005.12.003 }, doi={10.1016/J.APAL.2005.12.003}, 时间戳={2020年2月21日星期五21:18:38+0100}, biburl={ https://dblp.org/rec/journals/apal/DekhtyarDV06.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }