编辑配置文件（在新选项卡中打开） 艾达，普留什凯维奇 合著者距离 作者ID： 上新世爱达 发布日期： 艾达，普留什凯维奇；Pljuskevicene，A.Ju。；Plyushkevichene，A.Yu。；Pliuškevičiené，A。；Plyushkyavichene，A.Yu。；艾达·普卢尤什基亚维奇；艾达·普林什基亚维奇内；艾达·普柳什基亚维奇；Plyushkyavichene，A。；Plyushkavichene，A。 更多。。。较少的 外部链接： MGP公司·维基数据·数据库许可证 已编制索引的文档： 35出版物自1969年起 合著者： 5位合著者具有11联合出版物 37位合作作者 合著者 24 单作者的 11 普利乌什凯维奇乌斯，里贾曼塔斯 三 罗马斯·阿隆德里斯 2 哈洛达斯·吉德拉 1 Yu Sakalauskajte。五、。 1 Yukna，Stasys P。 全部的 前5名系列 5 物流Matematicheskaya i eëPrimeneniya 4 Zapiski Nauchnykh研讨会Leningradskogo Otdeleniya Matematicheskogo Instituta Imeni V.A.Steklova 三 苏联数学杂志 三 Lietuvos Matematikos林基尼 三 Lietuvos Matematikos林基尼。Lietuvos Matematiku Draugijos Darbai公司 2 逻辑与计算杂志 2 Informatica（维尔纽斯） 1 Studia Logica公司 1 控制论 1 自动推理杂志 1 IGPL逻辑杂志 1 Steklov数学研究所学报 1 Lietuvos Matematikos林基尼。立陶宛数学学会会刊。系列A 领域 32 数理逻辑与基础（03-XX） 11 计算机科学（68至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用22中的次16文件 引用人▼ 年份▼ 具有量化代理变量的相互信任逻辑片段的决策过程。 兹比尔1235.03050 普利乌什凯维奇乌斯，里贾曼塔斯；艾达，普留什凯维奇 5 2006 将公理用于演绎的专门化，在公理理论中搜索等式。 Zbl 0252.02025号 Pljuskevicene，A.Ju。 4 1973 模态逻辑S4反向证明搜索中获得终止的一种新方法。 Zbl 1189.03020号 普利乌什凯维奇乌斯，里贾曼塔斯；艾达，普留什凯维奇 4 2010 时序逻辑的循环型序列计算。 Zbl 1462.03012号 R·阿隆德里斯。；Pliuškevičius，R。；Pliuškevičiené，A。；希德拉，H。 三 2020 动态逻辑片段的决策过程。 Zbl 1043.03516号 艾达，普留什凯维奇 2 2001 PLTL的有限序列计算。 Zbl 1508.03050号 罗马斯·阿隆德里斯；普利乌什凯维奇乌斯，里贾曼塔斯；艾达，普留什凯维奇 1 2015 关于消除Robinson和Presburger公理系统中的剪切型规则。 Zbl 0231.02036号 Plyushkevichene，A.Yu。 1 1971 勘误：“模态逻辑S4反向证明搜索中获得终止的新方法”。 Zbl 1189.03021号 普利乌什凯维奇乌斯，里贾曼塔斯；艾达，普留什凯维奇 1 2010 可传递分布式知识逻辑片段中派生的终止。 Zbl 1178.68079号 普利乌什凯维奇乌斯，里贾曼塔斯；艾达，普留什凯维奇 1 2008 时序逻辑的循环型序列计算。 Zbl 1462.03012号 R·阿隆德里斯。；Pliuškevičius，R。；Pliuškevičiené，A。；希德拉，H。 三 2020 PLTL的有限序列计算。 Zbl 1508.03050号 罗马斯·阿隆德里斯；普利乌什凯维奇乌斯，里贾曼塔斯；艾达，普留什凯维奇 1 2015 模态逻辑S4反向证明搜索中获得终止的一种新方法。 Zbl 1189.03020号 普利乌什凯维奇乌斯，里贾曼塔斯；艾达，普留什凯维奇 4 2010 勘误：“模态逻辑S4反向证明搜索中获得终止的新方法”。 Zbl 1189.03021号 普利乌什凯维奇乌斯，里贾曼塔斯；艾达，普留什凯维奇 1 2010 可传递分布式知识逻辑片段中派生的终止。 Zbl 1178.68079号 普利乌什凯维奇乌斯，里贾曼塔斯；艾达，普留什凯维奇 1 2008 带有量化代理变量的互信逻辑片段的决策过程。 Zbl 1235.03050号 普利乌什凯维奇乌斯，里贾曼塔斯；艾达，普留什凯维奇 5 2006 动态逻辑片段的决策过程。 Zbl 1043.03516号 艾达，普留什凯维奇 2 2001 将公理用于演绎的专门化，在公理理论中搜索等式。 Zbl 0252.02025号 Pljuskevicene，A.Ju。 4 1973 关于消除Robinson和Presburger公理系统中的剪切型规则。 Zbl 0231.02036号 Plyushkevichene，A.Yu。 1 1971 所有引用的出版物 前5名被引用出版物 全部的 前5名20位作者引用 5 罗马斯·阿隆德里斯 4 艾达，普留什凯维奇 三 哈洛达斯·吉德拉 三 普利乌什凯维奇乌斯，里贾曼塔斯 2 德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德 2 Yngve拉莫 2 Linares Arévalo，皮拉尔·塞琳 2 米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 2 米查·瓦利基 1 安德烈亚斯·阿琴 1 朱利叶斯·安德里科尼斯 1 阿多马斯·比什图纳斯 1 安德烈斯·奥奇芬蒂·利伯曼 1 S.Yu，马斯洛夫。 1 柳村井 1 奥列夫科夫（V.P.Orevkov）。 1 埃琳娜·雷维提特 1 Rasmus Krmmer Rendsvig 1 佐野胜彦 1 苏佑安 全部的 前5名8篇连载文章中引用 4 Lietuvos Matematikos林基尼。立陶宛数学学会会刊。系列A 三 苏联数学杂志 1 人工智能 1 立陶宛数学杂志 1 Studia Logica公司 1 理论计算机科学 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 在2个字段中引用 13 数理逻辑与基础（03-XX） 8 计算机科学（68至XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.