Mars K.Valiev等人：由逻辑程序控制的代理系统：验证的复杂性。(2009) 日记帐/pcs/ValievDD09 10.1134/S036176880905003X号 由逻辑程序控制的代理系统：验证的复杂性。 三 马尔斯·瓦利耶夫 1 迈克尔·德克蒂亚 2 亚历山大·贾。迪科夫斯基 三 266-281 程序。计算。柔和。 程序。计算。柔和。 35 5 2009 dblp记录“journals/pcs/ValievDD09”的RDF数据的来源信息 2020-09-06 T18:04:18+0200