曹嘉庆;刘,权;朱菲;傅启明;钟,山 使用强调权重进行非政策评估的梯度时间差异学习。 (英语) Zbl 07786202号 信息科学。 580, 311-330 (2021).MSC公司:68T05型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Cao}等人,《信息科学》。580311-330(2021年;兹bl 07786202) 全文: 内政部
诺里希罗·卡米德 具有层次信息的不一致容忍时间推理。 (英语) Zbl 1390.68610号 信息科学。 320, 140-155 (2015).MSC公司:68T27型 03B44号 03B53号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},信息科学。320140-155(2015;Zbl 1390.68610) 全文: 内政部
亚瑟·Mę滑雪;沃伊切赫·彭泽克;格列泽戈兹·罗森贝格 模型检查反应系统的时间特性。 (英语) Zbl 1387.68167号 信息科学。 313, 22-42 (2015).MSC公司:60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Męski}等人,《信息科学》。313、22-42(2015年;Zbl 1387.68167) 全文: 内政部
马西米利亚诺·巴丹。;莫罗·戈梅斯·卢塞罗;卡洛斯·切斯尼瓦尔;吉列尔莫·西马里。 在结构化论证框架中建模时间和估价。 (英语) Zbl 1355.68241号 信息科学。 290, 22-44 (2015).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.D.Budán}等人,《信息科学》。290、22-44(2015;Zbl 1355.68241) 全文: 内政部 链接
弗拉基米尔·雷巴科夫 通过交互代理进行知识和发现的逻辑-真实和可满足语句的决策算法。 (英语) Zbl 1179.68151号 信息科学。 179,第11期,1608-1614(2009).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},信息科学。179,第11号,1608--1614(2009;Zbl 1179.68151) 全文: 内政部
罗伯特·梅奥利克;塔贾纳·卡普斯;Zmago布雷佐尼克 ACTLW–带除非运算符的基于操作的计算树逻辑。 (英语) Zbl 1134.68033号 信息科学。 178,第6期,1542-1557(2008).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Meolic}等人,《信息科学》。178,第6号,1542--1557(2008;Zbl 1134.68033) 全文: 内政部
尼汉·凯西姆·奇切克利;伊利亚斯奇切利 使用事件演算将工作流的规范和执行形式化。 (英语) 兹比尔1110.68074 信息科学。 176,第15号,2227-2267(2006).MSC公司:60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{N.K.Cicekli}和\textit{I.Cicekli},信息科学。176,第15号,2227--2267(2006;Zbl 1110.68074) 全文: 内政部 链接
陈,Z。;H.泽丹。;A.考尔。;H·杨。 一种用于实时系统基于对象开发的广谱语言。 (英语) Zbl 0943.68024号 信息科学。 118,编号1-4,15-35(1999).MSC公司:68甲19 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chen}等人,《信息科学》。118,编号1--4,15--35(1999;Zbl 0943.68024) 全文: 内政部
A.拉维坎德兰。;Shyamasundar,R.K。 多数一致性算法的正确性证明。 (英语) 兹比尔0595.68086 信息科学。 38, 213-227 (1986).MSC公司:68第20页 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.Ravichandran}和\textit{R.K.Shyamasundar},信息科学。38、213--227(1986年;Zbl 0595.68086) 全文: 内政部