于哲;陆一伟 一种结构化的两极论证理论,用于在实际推理中提供解释。 (英语) Zbl 07789768号 安德烈亚斯·赫齐格(编辑)等人,《逻辑与论证》。第五届国际会议,CLAR 2023,中国杭州,2023年9月10日至12日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14156, 157-171 (2023).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Yu}和\textit{Y.Lu},Lect。注释计算。科学。14156,157--171(2023;Zbl 07789768) 全文: 内政部
亚历山德罗夫,V.A。 关于欧氏空间中两个具有规定边长的仿射等价框架的存在性。 (英语。俄文原件) 兹比尔07780150 同胞。数学。J。 64,第6期,1273-1278(2023); 来自Sib的翻译。材料Zh。64,第6期,1131-1137(2023)。 审核人:Jan Kurek(卢布林) MSC公司:52立方厘米 51K05美元 PDF格式BibTeX公司 XML格式引用 \文本{V.A.Alexandrov},Sib。数学。J.64,No.6,1273--1278(2023;Zbl 07780150);来自Sib的翻译。材料Zh。64,编号6,1131--1137(2023) 全文: 内政部 arXiv公司
陈志波;弗兰克·芬宁 具有高阶有理(循环)项的逻辑框架。 (英语) Zbl 07770332号 Kupferman,Orna(编辑)等人,《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023,作为欧洲软件理论与实践联合会议ETAPS 2023的一部分,于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13992, 68-88 (2023).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{Z.Chen}和\textit{F.Pfenning},Lect。注释计算。科学。13992、68--88(2023;Zbl 07770332) 全文: 内政部 arXiv公司
沃尔夫冈·德沃亚克;安娜·拉贝格;斯特凡·沃尔特兰 以权利要求为中心的抽象议论文语义学观点:权利要求辩护、原则和表达性。 (英语) Zbl 07766487号 Artif公司。智力。 324,文章ID 104011,49 p.(2023).MSC公司:68T07型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}等人,Artif。智力。324,文章ID 104011,49 p.(2023;Zbl 07766487) 全文: 内政部
穆罕默德·穆阿祖。 使用元启发式科学优化的模糊和神经框架加强边坡稳定性预测。 (英语) Zbl 1522.86011号 数学。地质科学。 55,第2期,263-285(2023年).MSC公司:86-10 86A32型 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Mu'azu},数学。地质科学。55,第2号,263--285(2023;Zbl 1522.86011) 全文: 内政部
德沃夏克,W。;Keshavarzi Zafarghandi,A。;沃尔特兰,S。 三值语义下SETAF和无支持ADF的表达性。 (英语) Zbl 07757214号 J.应用。非类别。日志。 33,编号3-4,298-327(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}等人,J.Appl。非类别。日志。33,编号3--4,298--327(2023;Zbl 07757214) 全文: 内政部
乔治·弗洛里斯;西奥多·帕特科斯;安东尼斯·比卡基斯;亚历山大·瓦西利亚德斯;尼克·巴西利亚德斯;普列克索萨基斯,迪米特里斯 具有领域分配的抽象论证框架的理论分析和实现。 (英语) 兹伯利07734039 国际J近似推理 161,文章ID 108992,27 p.(2023).MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{G.Flouris}等人,国际期刊近似推理161,文章ID 108992,27 p.(2023;Zbl 07734039) 全文: 内政部
古斯塔沃·博丹萨 关于(mathcal{F})系统:涉及虚假谓词的悖论的图形理论模型及其在论证框架中的应用。 (英语) Zbl 07726394号 J.逻辑语言信息。 32,第3号,373-393(2023).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.Bodanza},J.Logic Lang.Inf.32,No.3,373--393(2023年;Zbl 07726394) 全文: 内政部 arXiv公司
米歇尔·阿罗基亚拉;约瑟夫·詹西;沙古法·穆斯塔克;阿鲁尔·杰亚·沙利尼;Krishnan Balasubramanian公司 共价有机框架:拓扑特征、谱模式和图熵。 (英语) 兹比尔1519.05236 数学杂志。化学。 61,第8期,1633-1664(2023).MSC公司:05C92年 92E10型 05C09号 PDF格式BibTeX公司 XML格式引用 \textit{M.Arockiaraj}等人,《数学杂志》。化学。61,第8号,1633--1664(2023;Zbl 1519.05236) 全文: 内政部
杰西·海因尼克;加布里埃尔·克恩·伊斯伯纳;蒂兹·里恩斯特拉;肯尼斯·斯基巴;马蒂亚斯·蒂姆 抽象辩证框架的修正、可废止条件句和非单调推理。 (英语) Zbl 07698054号 Artif公司。智力。 317,文章ID 103876,33 p.(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{J.Heyninck}等人,Artif。智力。317,文章ID 103876,33 p.(2023;Zbl 07698054) 全文: 内政部
斯元雷;扎赫拉·约卡尔;埃勒姆·凯德里;帕里萨·穆罕默德·卡纳曼;玛丽亚姆·穆罕默德霍利安;马布贝·戈特比;沙菲,塞佩尔;李,Z.X。;穆斯塔法公司 In-silico公司用分子动力学方法调谐纳米bio界面:淀粉样β靶向二维金属-有机框架。 (英语) Zbl 1511.92004号 工程分析。已绑定。元素。 149, 166-176 (2023).MSC公司:92-10 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{S.Yuanlei}等人,《工程分析》。已绑定。元素。149166--176(2023年;Zbl 1511.92004年) 全文: 内政部
穆罕默德·埃拉鲁西;努林,Lhouari;穆罕默德·赛义德·拉德杰夫;西蒙·维尔明 关于论证框架的首选扩展:带有天真集的双宾语。 (英语) Zbl 07649510号 信息处理。莱特。 181,文章ID 106354,9 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Elaroussi}等人,《信息处理》。莱特。181,文章ID 106354,9 p.(2023;Zbl 07649510) 全文: 内政部 arXiv公司
肖恩·杜瓦;简·勒格斯克 灵活的无限框架,应用于支撑Penrose瓷砖。 (英语) Zbl 1503.05026号 离散应用程序。数学。 324,1-17(2023年).MSC公司:05年10月 05C63号 52立方厘米25 PDF格式BibTeX公司 XML格式引用 \textit{S.Dewar}和\textit{J.Legersk椯},离散应用。数学。324,1-17(2023;Zbl 1503.05026) 全文: 内政部 arXiv公司
Hiroyuki Kido;辽、北水 一种用于正向和反向抽象论证问题的贝叶斯方法。 (英语) Zbl 1517.68358号 J.应用。非类别。日志。 32,编号4,273-304(2022).MSC公司:68T27型 2015年1月62日 68层37 PDF格式BibTeX公司 XML格式引用 \textit{H.Kido}和\textit{B.Liao},J.Appl。非类别。日志。32,编号4,273--304(2022;Zbl 1517.68358) 全文: 内政部
斯特凡·埃尔马瑟勒;Sarah Alice Gaggl;多米尼克·鲁索瓦克;约翰·沃纳(Johannes P.Wallner)。 用二元决策图表示抽象的辩证框架。 (英语) Zbl 07671887号 Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13416177-189(2022)。MSC公司:68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ellmauthaler}等人,莱克特。注释计算。科学。13416、177--189(2022;Zbl 07671887) 全文: 内政部
科斯米纳克罗托鲁;马达琳娜·克罗伊托鲁 抽象论证中可容许集的深度组合分析。 (英语) Zbl 1511.68265号 安。数学。Artif公司。智力。 90,编号11-12,1139-1158(2022).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Croitoru}和\textit{M.Croitoru},安.数学。Artif公司。智力。90,编号11--121139--1158(2022;Zbl 1511.68265) 全文: 内政部
伯恩德·舒尔茨;海蒂·塞罗科尔德;路易·塞兰 具有协调边缘运动的框架。 (英语) Zbl 1501.52013年 SIAM J.离散数学。 36,第4期,2602-2618(2022).MSC公司:52立方厘米25 05立方厘米35 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Schulze}等人,SIAM J.离散数学。36,第4号,2602--2618(2022;Zbl 1501.52013) 全文: 内政部 arXiv公司
电源,S.C。 准晶的线性零模谱。 (英语) Zbl 1497.52027号 数学杂志。分析。申请。 516,第2号,文章ID 126534,19页(2022).MSC公司:52C23型 PDF格式BibTeX公司 XML格式引用 \textit{S.C.Power},J.数学。分析。申请。516,第2号,文章ID 126534,19页(2022;Zbl 1497.52027) 全文: 内政部 arXiv公司
迪米特里斯·科洛比利斯;清水贤一 收缩和稀疏估计的贝叶斯方法。 (英语) Zbl 07580875号 已找到。经济趋势。 第4期第11期,第230-354页(2022年).MSC公司:62-XX年 PDF格式BibTeX公司 XML格式引用 \textit{D.Korobilis}和\textit{K.Shimizu},已找到。经济趋势。11,编号4,230-354(2022;Zbl 07580875) 全文: 内政部 arXiv公司
张国平;阿泽姆、迈赫兰;阿德南·阿斯拉姆;沙迈拉·尤萨夫;萨尔马·坎瓦尔 某些共价有机框架和金属有机框架的拓扑方面。 (英语) Zbl 1494.05026号 J.功能。共享空间 2022,文章ID 5426037,第9页(2022).MSC公司:05C09号 05C07号机组 05C92年 92E10型 PDF格式BibTeX公司 XML格式引用 \textit{G.Zhang}等人,J.Funct。空格2022,文章ID 5426037,9页(2022;Zbl 1494.05026) 全文: 内政部
沃尔夫冈·德沃亚克;马库斯·乌布利希特;斯特凡·沃尔特兰 抽象论证中的递归很难实现——基于弱可接受性的语义复杂性。 (英语) Zbl 07566014号 J.阿蒂夫。智力。研究(JAIR) 74, 1403-1447 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}等人,J.Artif。智力。研究(JAIR)74、1403——1447(2022;Zbl 07566014) 全文: 内政部
杰西·亚伯拉罕;米歇尔·阿罗基亚拉;约瑟夫·詹西;卡维塔(S.Ruth Julie);Krishnan Balasubramanian公司 三类有序金属-有机框架的图熵、回路计数、游动和拓扑性质。 (英语) Zbl 1492.92142号 数学杂志。化学。 60,第4期,695-732(2022).MSC公司:92E10型 05C92年 PDF格式BibTeX公司 XML格式引用 \textit{J.Abraham}等人,J.Math。化学。60,第4号,695--732(2022;Zbl 1492.92142) 全文: 内政部
西奥多·安东;蒂莫西·克利夫顿 参数化后牛顿宇宙学中的动量约束方程。 (英语) Zbl 1495.83068号 经典量子引力 39,第9号,文章ID 095005,25 p.(2022).MSC公司:83个F05 70小时45 85甲15 83D05号 PDF格式BibTeX公司 XML格式引用 \textit{T.Anton}和\textit{T.Clifton},经典量子引力39,第9期,文章编号095005,25 p.(2022;Zbl 1495.83068) 全文: 内政部 arXiv公司
托马斯·林斯比勒;马可·马拉提亚;安德烈亚斯·尼斯卡宁;约翰·沃纳(Johannes P.Wallner)。;斯特凡·沃尔特兰 基于子类复杂性分析和SAT求解的抽象辩证框架的高级算法。 (英语) Zbl 07505991号 Artif公司。智力。 307,文章ID 103697,第40页(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{T.Linsbichler}等人,Artif。智力。307,文章ID 103697,40 p.(2022;Zbl 07505991) 全文: 内政部
杰里·斯旺;史蒂文·阿德里安森;亚历山大·E·I·布朗利。;凯文·哈蒙德;科林·约翰逊。;艾哈迈德·凯里;福斯蒂纳·克劳伊克;梅雷洛,J.J。;莱安德罗·L·明库。;恩德·奥兹坎;吉赛尔·巴帕。;巴勃罗·加西亚·桑切斯;肯尼思·索伦森;沃·斯特凡;瓦格纳,马库斯;大卫·R·怀特。 “大范围”的元启发式。 (英语) Zbl 1487.90651号 欧洲药典。物件。 297,第2号,393-406(2022).MSC公司:90 C59 90-08 PDF格式BibTeX公司 XML格式引用 \textit{J.Swan}等人,《欧洲药典》。第297号决议,第2号,393--406(2022年;Zbl 1487.90651) 全文: 内政部 arXiv公司
卡洛·普罗埃蒂;安东尼奥·尤斯特·格内尔 抽象论证的动态认知逻辑。 (英语) Zbl 07797879号 合成 199,编号3-4,8641-8700(2021).MSC公司:03B42型 PDF格式BibTeX公司 XML格式引用 \textit{C.Proietti}和\textit{A.Yuste-Ginel},综合199,编号3--4,8641-8700(2021;Zbl 07797879) 全文: 内政部
Joshua Chen先生 伊莎贝尔的同调类型理论。 (英语) Zbl 07699429号 Cohen,Liron(ed.)等人,第十二届交互式定理证明国际会议,ITP 2021,意大利罗马,虚拟会议,2021年6月29日至7月1日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。193,第12条,第8页(2021年)。MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen},LIPIcs——莱布尼茨国际程序。通知。193,第12条,第8页(2021;Zbl 07699429) 全文: 内政部 arXiv公司
安德烈亚斯·赫齐格;安东尼奥·尤斯特·格内尔 定性不确定性的抽象论证:动态逻辑分析。 (英语) Zbl 07671020号 彼得罗·巴罗尼(编辑)等人,《逻辑与论证》。第四届国际会议,CLAR 2021,中国杭州,2021年10月20日至22日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13040, 190-208 (2021).MSC公司:03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Herzig}和\textit{A.Yuste-Ginel},莱克特。注释计算。科学。13040、190--208(2021;Zbl 07671020) 全文: 内政部
雅罗斯拉夫·什兰科 一级牵连和二元后果系统。 (英语) Zbl 07669421号 Fitting,Melvin(编辑),当代逻辑学精选主题。逻辑景观2。伦敦:学院出版物。693-713(2021)。MSC公司:03B47号 03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sharmko},in:当代逻辑精选主题。伦敦:学院出版物。693--713(2021;Zbl 07669421)
阿努杰,达瓦尔;格雷戈里·威尔塞纳赫 秩逻辑的对称电路。 (英语) Zbl 1508.68101号 ACM事务处理。计算。日志。 23,第1条,第6条,第35页(2021年).MSC公司:2006年第68季度 03B70号 19年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}和\textit{G.Wilsenach},ACM Trans。计算。日志。23,第1号,第6条,第35页(2021年;Zbl 1508.68101) 全文: 内政部
A.马尼。 聚类分析的一般粗糙建模。 (英语) Zbl 1495.68229号 Ramanna,Sheela(编辑)等人,《粗糙集》。2021年9月19日至24日,斯洛伐克布拉迪斯拉发,IJCRS 2021国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12872, 75-82 (2021).MSC公司:68层37 08A70号 62H30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Mani},莱克特。注释计算。科学。12872,75-82(2021;Zbl 1495.68229) 全文: 内政部 arXiv公司
斯蒂芬·C·鲍尔(Stephen C.Power)。 平行四边形框架和柔性准晶。 (英语) Zbl 1482.52025号 数学。程序。R.Ir.学院。 121A,编号1,9-31(2021).MSC公司:52立方厘米25 52C23型 PDF格式BibTeX公司 XML格式引用 \textit{S.C.Power},数学。程序。R.Ir.学院。121A,编号1,9--31(2021;Zbl 1482.52025) 全文: 内政部 arXiv公司 链接
杰西·海因尼克;加布里埃尔·克恩·伊斯伯纳;马蒂亚斯·蒂姆;肯尼斯·斯基巴 抽象辩证框架与非单调条件逻辑的对应。 (英语) Zbl 1496.68317号 安。数学。Artif公司。智力。 89,编号10-11,1075-1099(2021). 审核人:毛里西奥·里斯(Funchal) MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Heynick}等人,Ann.Math。Artif公司。智力。89,编号10--11,1075--1099(2021;Zbl 1496.68317) 全文: 内政部
肖恩·杜瓦 周期图在平面上的灵活放置。 (英语) Zbl 1478.05032号 离散计算。地理。 66,第4期,1286-1329(2021).MSC公司:05年10月 05C15号 52立方厘米25 13甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Dewar},离散计算。地理。66,编号4,1286--1329(2021;Zbl 1478.05032) 全文: 内政部 arXiv公司
米歇尔·巴乔奇;安吉洛·马塞洛·塔伦蒂诺 有限弹性中横观各向同性材料超弹性梁的弯曲。 (英语) Zbl 1481.74072号 申请。数学。建模 100, 55-76 (2021).MSC公司:74B20型 74K10型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bacciocchi}和\textit{A.M.Tarantino},应用。数学。型号100,55--76(2021;Zbl 1481.74072) 全文: 内政部
鲍迈斯特,多萝西娅;Järvisalo,马蒂;丹尼尔·纽格鲍尔;安德烈亚斯·尼斯卡宁;约尔格·罗特 接受不完整的论证框架。 (英语) Zbl 1519.68244号 Artif公司。智力。 295,文章ID 103470,35 p.(2021).MSC公司:68T27型 第68季度25 68立方英尺 第68页第37页 PDF格式BibTeX公司 XML格式引用 \textit{D.Baumeister}等人,Artif。智力。295,文章ID 103470,35 p.(2021;Zbl 1519.68244) 全文: 内政部
米尔科阿尔滕伯德;尼尔斯·阿恩·德雷尔;克里斯蒂安·恩格尔;多米尼克·哥德克 PDE框架中的局部故障局部恢复:线性解算器的情况。 (英语) Zbl 1482.65003号 Kozubek,Tomáš(编辑)等人,《科学与工程中的高性能计算》,第四届国际会议,2019年5月20日至23日,捷克卡罗林卡,HPCSE 2019。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。12456, 17-38 (2021).MSC公司:65-04 2005年5月 65层10 PDF格式BibTeX公司 XML格式引用 \textit{M.Altenbernd}等人,Lect。注释计算。科学。12456,17-38(2021;Zbl 1482.65003) 全文: 内政部
彼得·G·莫法特。 经验:一项调查。 (英语) Zbl 1466.62436号 已找到。经济趋势。 11,编号1-2,3-152(2021).MSC公司:第62页第20页 62F03型 62-02 91-05 91-02 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Moffatt},已找到。经济趋势。11,编号1--2,3--152(2021;Zbl 1466.62436) 全文: 内政部
奥列格·卡彭科夫 框架中应力的组合几何。 (英语) Zbl 1456.05120号 离散计算。地理。 65,第1号,43-89(2021).MSC公司:05C62号 PDF格式BibTeX公司 XML格式引用 \textit{O.Karpenkov},离散计算。地理。65,编号1,43--89(2021;Zbl 1456.05120) 全文: 内政部 arXiv公司
雅罗斯拉夫·什兰科 一级牵连和二元后果系统。 (英语) Zbl 1513.03050号 J.应用。日志。-IfCoLog J.日志。申请。 7,第6期,1223-1242(2020).MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shramko},J.应用。日志。-IfCoLog J.日志。申请。7,第6号,1223--1242(2020;Zbl 1513.03050)
王宗顺;吴嘉超 模糊论证框架的动力学。 (英语) Zbl 07578374号 Dastani,Mehdi(编辑)等人,《逻辑与论证》。第三届国际会议,CLAR 2020,中国杭州,2020年4月6日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12061, 287-307 (2020).MSC公司:03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Wang}和\textit{J.Wu},Lect。注释计算。科学。12061,287--307(2020;Zbl 07578374) 全文: 内政部
吴嘉超;李凌强;孙伟华 具有一致度的模糊论证框架的哥德尔语义。 (英语) Zbl 1484.68236号 AIMS数学。 5,第4号,4045-4064(2020).MSC公司:68T27型 第68页第37页 PDF格式BibTeX公司 XML格式引用 \textit{J.Wu}等人,AIMS数学。5,第4号,4045--4064(2020;Zbl 1484.68236) 全文: 内政部
特雷莎·海恩斯。;Hedetniemi,Stephen T。;迈克尔·亨宁(Michael A.Henning)。 图中的支配模型。 (英语) Zbl 1479.05271号 海恩斯、特蕾莎·W·(编辑)等,《图的支配主题》。查姆:施普林格。发展数学。64, 13-30 (2020).MSC公司:05C69号 PDF格式BibTeX公司 XML格式引用 \textit{T.W.Haynes}等人,《发展数学》。64、13-30(2020年;Zbl 1479.05271) 全文: 内政部
雷吉斯·里维雷特 关于搜索解释性论证图。 (英语) Zbl 1486.68185号 J.应用。非类别。日志。 30,第2期,123-192(2020年).MSC公司:68T27型 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Riveret},J.应用。非类别。日志。30,编号2,123--192(2020;Zbl 1486.68185) 全文: 内政部
Lee,Seunghan先生;儿子,Young-Jun 社会网络中长期决策过程的扩展决策场理论和社会学习。 (英语) Zbl 1460.91195号 信息科学。 512, 1293-1307 (2020).MSC公司:91天30分 91B06型 91D15号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lee}和\textit{Y.-J.Son},信息科学。5121293-1307(2020;Zbl 1460.91195) 全文: 内政部
阿特菲赫·凯沙瓦尔齐·扎法尔甘迪;韦布鲁格,里内克;巴特·维尔海伊 抽象辩证框架的基础语义讨论游戏。 (英语) Zbl 1464.68363号 Prakken,Henry(编辑)等人,《论证的计算模型》。第八届会议记录,COMMA 2020,意大利佩鲁贾大学,虚拟会议,2020年9月8日至11日。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。326, 431-442 (2020).MSC公司:68T27型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Keshavarzi Zafarghandi}等人,前面。Artif公司。智力。申请。326431-442(2020年;Zbl 1464.68363) 全文: 内政部
杰西·海因尼克;加布里埃尔·克恩·伊斯伯纳 抽象辩证论证的认知解释。 (英语) Zbl 1464.68360号 Prakken,Henry(编辑)等人,《论证的计算模型》。第八届会议记录,COMMA 2020,意大利佩鲁贾大学,虚拟会议,2020年9月8日至11日。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。326, 227-238 (2020).MSC公司:68T27型 03B42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Heyninck}和\textit{G.Kern-Isberner},前面。Artif公司。智力。申请。326227--238(2020年;Zbl 1464.68360) 全文: 内政部
沃尔夫冈·德沃亚克;阿特菲赫·凯沙瓦尔齐·扎法尔甘迪;斯特凡·沃尔特兰 三值语义下SETAF和无支持ADF的表达性。 (英语) Zbl 1464.68353号 Prakken,Henry(编辑)等人,《论证的计算模型》。第八届会议记录,COMMA 2020,意大利佩鲁贾大学,虚拟会议,2020年9月8日至11日。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。326, 191-202 (2020).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}等人,前面。Artif公司。智力。申请。326191-202(2020年;Zbl 1464.68353) 全文: 内政部 arXiv公司
斯蒂法诺·比斯塔雷利;沃尔夫冈·德沃亚克;卡洛·塔蒂奇;斯特凡·沃尔特兰 从权利要求的角度看基于排名的语义。 (英语) 兹比尔1464.68345 Prakken,Henry(编辑)等人,《论证的计算模型》。第八届会议记录,COMMA 2020,意大利佩鲁贾大学,虚拟会议,2020年9月8日至11日。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。326, 111-122 (2020).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}等人,前面。Artif公司。智力。申请。326111--122(2020年;Zbl 1464.68345) 全文: 内政部
林戈·鲍曼;马克西米利安·海因里希 时间抽象辩证框架:一种简单的基于翻译的方法。 (英语) Zbl 1464.68343号 Prakken,Henry(编辑)等人,《论证的计算模型》。第八届会议记录,COMMA 2020,意大利佩鲁贾大学,虚拟会议,2020年9月8日至11日。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。326, 103-110 (2020).MSC公司:68T27型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{R.Baumann}和\textit{M.Heinrich},前面。Artif公司。智力。申请。326103--110(2020年;Zbl 1464.68343) 全文: 内政部
碧姬·品特卡 上下文类型,解释。受邀的教程。 (英语) Zbl 1455.03016号 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。35-37 (2020).MSC公司:03B38型 PDF格式BibTeX公司 XML格式引用 \textit{B.Pientka},在:2020年第35届ACM/IEEE计算机科学逻辑年度研讨会论文集,LICS 2020,虚拟活动,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。35-37(2020;Zbl 1455.03016) 全文: 内政部
瓦夏克·贝勒;吕克·德·雷德 半环编程:广义和积问题的语义框架。 (英语) Zbl 1490.68176号 国际J近似推理 126, 181-201 (2020).MSC公司:68T01型 第68页第19页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Belle}和\textit{L.De Raedt},国际J.近似推理126,181--201(2020;Zbl 1490.68176) 全文: 内政部 arXiv公司 链接
本,汉堡;贾斯迪普·卡尔西;詹姆斯·纽伯里 极限指令簿、扩散近似和反映的SPDE:从微观模型到宏观模型。 (英语) Zbl 1451.91186号 申请。数学。财务 27,编号1-2,132-170(2020). 审核人:尤利亚·米舒拉(基辅) MSC公司:91G15型 60甲15 PDF格式BibTeX公司 XML格式引用 \textit{B.Hambly}等人,应用。数学。财务27,No.1--2,132--170(2020;Zbl 1451.91186) 全文: 内政部 arXiv公司
卡蒂·克林奇;比尔,杰克逊;彼得·基瓦什 定向长度框架的整体刚性。 (英语) Zbl 1451.52012年 J.库姆。理论,Ser。B类 145, 145-168 (2020).MSC公司:52立方厘米25 05C99年 PDF格式BibTeX公司 XML格式引用 \textit{K.Clinch}等人,J.Comb。理论,Ser。B 145、145--168(2020年;Zbl 1451.52012年) 全文: 内政部 arXiv公司 链接
卡洛·普罗埃蒂;安东尼奥·尤斯特·格内尔 说服性论证和认识态度。 (英语) Zbl 1496.03074号 Soares Barbosa,Luís(编辑)等人,《动态逻辑》。新趋势和应用。2019年10月7日至11日,第二届国际研讨会,DALI 2019,葡萄牙波尔图。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12005, 104-123 (2020).MSC公司:03B42型 PDF格式BibTeX公司 XML格式引用 \textit{C.Proietti}和\textit{A.Yuste-Ginel},莱克特。注释计算。科学。12005,104-123(2020;Zbl 1496.03074) 全文: 内政部 链接
肖恩·杜瓦 赋范平面中的无穷小刚度。 (英语) Zbl 1444.52009年 SIAM J.离散数学。 34,第2期,1205-1231(2020). 审核人:佩德罗·马丁·吉梅内斯(巴达霍兹) MSC公司:52立方厘米25 52A21型 05C99年 PDF格式BibTeX公司 XML格式引用 \textit{S.Dewar},SIAM J.离散数学。34,No.2,1205--1231(2020;Zbl 1444.52009) 全文: 内政部 arXiv公司
Dixon,Matthew F。;伊戈尔·哈尔佩林;保罗·比洛肯 金融中的机器学习。从理论到实践。 (英语) Zbl 1435.62012号 查姆:施普林格(ISBN 978-3-030-41067-4/hbk;978-3-0.30-41068-1/电子书)。xxv,548页。(2020).MSC公司:62-02年 91-06 62P05号 62M10个 62M45型 68T05型 91B84号 91克10 91克80 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Dixon}等人,《金融中的机器学习》。从理论到实践。商会:施普林格(2020;兹比尔1435.62012) 全文: 内政部
曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);斯蒂法诺·比斯塔雷利 概率抽象论证框架,一种可能的世界观。 (英语) Zbl 1434.68558号 国际J近似推理 119, 204-219 (2020).MSC公司:68T27型 第68页第17页 68层37 PDF格式BibTeX公司 XML格式引用 \textit{T.Mantadelis}和\textit{S.Bistarelli},国际J.近似推理119204-219(2020;Zbl 1434.68558) 全文: 内政部 链接
约格·普勒 抽象辩证框架的三值语义的可实现性。 (英语) Zbl 1478.68358号 Artif公司。智力。 278,文章ID 103198,28 p.(2020).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Pührer},阿蒂夫。智力。278,文章ID 103198,28 p.(2020;Zbl 1478.68358) 全文: 内政部
徐康;辽、北水;黄华新 更新论证框架以实施扩展。 (英语) Zbl 07229666号 廖北水(编辑)等,《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集(CLAR 2018),中国杭州,2018年6月16-17日。新加坡:斯普林格。日志。亚洲:研究日志。伦敦银行同业拆借利率。,63-79(2019年)。MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Xu}等人,《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集(CLAR 2018),中国杭州,2018年6月16-17日。新加坡:斯普林格。63-79(2019年;Zbl 07229666) 全文: 内政部
伊沃·诺瓦克;Muts,帕夫洛;Eligius M.T.亨德里克斯。 大规模混合整数非线性优化的多树分解方法。 (英语) Zbl 1446.90109号 Velásquez-Bermüdez,Jesüs M.(编辑)等人,《供应链和智能制造中的大规模优化》,理论与应用。查姆:施普林格。Springer Optim公司。申请。149, 27-58 (2019).MSC公司:90C06型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{I.Nowak}等人,Springer Optim。申请。149,27-58(2019;Zbl 1446.90109) 全文: 内政部
佐奥州阿尔坎塔拉;萨米·Sá;胡安·阿科斯塔·瓜达拉马 抽象辩证框架与逻辑程序的等价性。 (英语) Zbl 1434.68553号 理论与实践。日志。程序。 19,编号5-6,941-956(2019).MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Alcántara}等人,《理论与实践》。日志。程序。19,编号5--6,941--956(2019;Zbl 1434.68553) 全文: 内政部 arXiv公司
Eleftherios卡斯蒂斯;德里克·基特森 无限框架的Coboundary运算符。 (英语) Zbl 1450.47017号 数学。程序。R.Ir.学院。 119A,编号2,93-110(2019).MSC公司:47立方厘米37 52立方厘米25 05C63号 PDF格式BibTeX公司 XML格式引用 \textit{E.Kastis}和\textit{D.Kitson},数学。程序。R.Ir.学院。119A,编号2,93-110(2019;Zbl 1450.47017) 全文: 内政部 链接
阿特菲赫·凯沙瓦尔齐·扎法尔甘迪;韦布鲁格,里内克;巴特·维尔海伊 抽象辩证框架首选语义的讨论游戏。 (英语) Zbl 07170123号 Kern-Isberner,Gabriele(编辑)等,《不确定性推理的符号和定量方法》。2019年9月18日至20日,第15届欧洲会议,ECSQARU 2019,塞尔维亚贝尔格莱德。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11726, 62-73 (2019).MSC公司:第68页第37页 PDF格式BibTeX公司 XML格式引用 \textit{A.Keshavarzi Zafarghandi}等人,Lect。注释计算。科学。11726,62-73(2019;Zbl 07170123) 全文: 内政部 链接
林戈·鲍曼;费利克斯·林杰 AGM满足抽象论证:Dung框架的收缩。 (英语) Zbl 1525.68149号 Calimeri,Francesco(编辑)等人,《人工智能中的逻辑》。2019年5月7日至11日,意大利伦德,第16届欧洲会议,JELIA 2019。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11468, 41-57 (2019).MSC公司:68T27型 03B42型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Baumann}和\textit{F.Linker},莱克特。注释计算。科学。11468、41-57(2019年;Zbl 1525.68149) 全文: 内政部
范伯克利,基斯;蝉蜕、阿加塔;伊利莎·弗雷斯基;桑杰·莫吉尔 评价论点网络:毛利人的一个案例研究ṃ毛利辩证法。 (英语) Zbl 07160622号 Blackburn,Patrick(编辑)等人,《逻辑、理性与互动》。2019年LORI第七届国际研讨会,中国重庆,2019年10月18-21日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。11813, 355-369 (2019).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.van Berkel}等人,Lect。注释计算。科学。11813355-369(2019年;兹bl 07160622) 全文: 内政部
法比奥·阿莱西;阿尔韦托·西法格里奥内;彼得罗·迪·贾南托尼奥;Furio Honsell;玛丽娜·莱妮莎;伊万·斯卡格内托 \中的(\mathrm{LF}^+\)Coq公司用于快速和松散的推理。 (英语) Zbl 1427.68344号 J.福尔马利兹。原因。 12, 11-51 (2019).MSC公司:68伏15 03B38型 03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Alessi}等人,J.Formaliz。原因。12、11--51(2019年;Zbl 1427.68344) 全文: 内政部
佐奥州阿尔坎塔拉;萨米·Sá 抽象辩证框架的三值接受条件。 (英语) Zbl 1433.68415号 Accattoli,Beniamino(编辑)等人,《逻辑和语义框架与应用第13次研讨会论文集》,LSFA 18,巴西福塔莱萨,2018年9月26日至28日。阿姆斯特丹:爱思唯尔。电子。理论注释。计算。科学。344, 3-23 (2019).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Alcántara}和\textit{S.Sá},电子。理论注释。计算。科学。344,3--23(2019年;Zbl 1433.68415) 全文: 内政部
乔治·弗洛里斯;安东尼斯·比卡基斯 对带有攻击性论据集的论证框架的综合研究。 (英语) Zbl 1461.68221号 国际J近似推理 109, 55-86 (2019).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Flouris}和\textit{A.Bikakis},国际J.近似推理109,55-86(2019;Zbl 1461.68221) 全文: 内政部 链接
洛瓦兹,拉兹洛 图形和几何。 (英语) 兹比尔1425.05001 学术讨论会出版物。美国数学学会65.普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-5087-8/hbk;978-1-4740-5354-1/电子书)。x、 第444页。(2019).MSC公司:05-01 05年10月 05C62号 05C70号 05C90年 05年05月 15B99型 14K25号 30立方厘米 52A37型 99年第81季度 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{L.Lovász},图和几何。佛罗里达州普罗维登斯:美国数学学会(AMS)(2019年;Zbl 1425.05001) 全文: 内政部
莱娜·罗尔夫;加布里埃尔·克恩·伊斯伯纳;格哈德·布鲁卡 使用ADF对答案集进行基于论证的解释。 (英语) Zbl 1522.68531号 Balduccini,Marcello(编辑)等人,《逻辑编程和非单调推理》。2019年6月3日至7日,第15届国际会议,LPNMR 2019,美国宾夕法尼亚州费城。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11481, 89-102 (2019).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Rolf}等人,Lect。注释计算。科学。11481,89-102(2019年;Zbl 1522.68531) 全文: 内政部
马里奥·阿尔维亚诺 通过限定进行论证推理玻璃粉. (英语) Zbl 1415.68214号 芬达姆。通知。 167,编号1-2,1-30(2019).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano},芬丹。通知。167,第1-2,30号(2019年;兹bl 1415.68214) 全文: 内政部
克里斯蒂安·斯特拉;Arieli,奥弗 通过基于序列的论证进行规范推理。 (英语) Zbl 1444.03075号 J.日志。计算。 29,第3期,387-415(2019).MSC公司:03B45 68T27型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{C.Straßer}和\textit{O.Arieli},J.Log。计算。29,第3号,387--415(2019;Zbl 1444.03075) 全文: 内政部 链接
比尔,杰克逊;J.C.欧文。 点线框架。 (英语) Zbl 1407.52027号 Sitharam,Meera(编辑)等人,《几何约束系统原理手册》。佛罗里达州博卡拉顿:CRC出版社。离散数学。申请。(博卡拉顿),487-504(2019)。MSC公司:52立方厘米25 05C76号 05立方厘米35 68单位07 PDF格式BibTeX公司 XML格式引用 \textit{B.Jackson}和\textit{J.C.Owen},in:几何约束系统原理手册。佛罗里达州博卡拉顿:CRC出版社。487--504(2019年;Zbl 1407.52027)
克萨巴·基拉利;谷川新一 车身-铰链框架的刚度。 (英语) Zbl 1407.52028号 Sitharam,Meera(编辑)等人,《几何约束系统原理手册》。佛罗里达州博卡拉顿:CRC出版社。离散数学。申请。(博卡拉顿),435-459(2019)。MSC公司:52立方厘米25 05C70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Király}和\textit{S.-i.Tanigawa},in:几何约束系统原理手册。佛罗里达州博卡拉顿:CRC出版社。435--459(2019;Zbl 1407.52028)
尼克松,安东尼;埃莉萨·罗斯 组合局部和全局刚性的归纳结构。 (英语) Zbl 1421.52023号 Sitharam,Meera(编辑)等人,《几何约束系统原理手册》。佛罗里达州博卡拉顿:CRC出版社。离散数学。申请。(博卡拉顿),413-434(2019)。MSC公司:52立方厘米25 68单位07 05年10月 PDF格式BibTeX公司 XML格式引用 \textit{A.Nixon}和\textit{E.Ross},in:几何约束系统原理手册。佛罗里达州博卡拉顿:CRC出版社。413--434(2019年;1421.52023年)
布丽姬·塞瓦提乌斯;赫尔曼·塞瓦提乌斯 平面刚度。 (英语) Zbl 1421.52025 Sitharam,Meera(编辑)等人,《几何约束系统原理手册》。佛罗里达州博卡拉顿:CRC出版社。离散数学。申请。(博卡拉顿),377-412(2019)。MSC公司:52立方厘米25 05年10月 68单位07 05C80号 05立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{B.Servatius}和\textit{H.Servatius},in:几何约束系统原理手册。佛罗里达州博卡拉顿:CRC出版社。377--412(2019;Zbl 1421.52025)
史蒂文·戈特勒。 一般尺寸中的通用整体刚度。 (英语) Zbl 1407.52026号 Sitharam,Meera(编辑)等人,《几何约束系统原理手册》。佛罗里达州博卡拉顿:CRC出版社。离散数学。申请。(博卡拉顿),第341-350页(2019年)。MSC公司:52立方厘米25 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Gortler},in:几何约束系统原理手册。佛罗里达州博卡拉顿:CRC出版社。341--350(2019年;Zbl 1407.52026)
罗伯特·康奈利;安东尼·尼克松 张力整体性。 (英语) Zbl 1407.52025号 Sitharam,Meera(编辑)等人,《几何约束系统原理手册》。佛罗里达州博卡拉顿:CRC出版社。离散数学。申请。(博卡拉顿),299-315(2019)。MSC公司:52立方厘米25 PDF格式BibTeX公司 XML格式引用 \textit{R.Connelly}和\textit{A.Nixon},in:几何约束系统原理手册。佛罗里达州博卡拉顿:CRC出版社。299--315(2019;Zbl 1407.52025)
埃德加多·费雷蒂;埃雷卡尔德,马塞洛 用于决策的动态论证框架的P-DeLP实例化。 (英语) Zbl 1440.68264号 Chesñevar,Carlos I.(编辑)等人,基于论证的亲昵证明。纪念吉列尔莫·西马里70岁生日的文章。伦敦:学院出版物。致敬37,103-122(2018)。MSC公司:68T27型 68N17号 68层37 68T40型 91B06型 PDF格式BibTeX公司 XML格式引用 \textit{E.Ferretti}和\textit{M.Errecalde},《致敬》37,103-122(2018;Zbl 1440.68264)
何塞·路易斯·伊帕拉吉雷 经济与老龄化。第二卷:政策和应用。 (英语) Zbl 1444.91002号 查姆:Palgrave Macmillan(ISBN 978-3-319-93356-6/pbk;978-3-3169-93357-3/ebook)。xi,第320页。(2018). 审核人:尼古拉·基尔科奇耶夫(普洛夫迪夫) MSC公司:91-02 91B64型 第91页第15页 91D20型 91G05号 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Iparaguirre},《经济与老龄化》。第二卷:政策和应用。查姆:Palgrave Macmillan(2018;Zbl 1444.91002) 全文: 内政部
何塞·路易斯·伊帕拉吉雷 经济与老龄化。第一卷:理论。 (英语) 兹比尔1443.91001 查姆:Palgrave Macmillan(ISBN 978-3-319-93247-7/pbk;978-3-3169-93248-4/ebook)。xl,371(2018)。 审核人:尼古拉·基尔科奇耶夫(普洛夫迪夫) MSC公司:91-02 91B62型 91D20型 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Iparaguirre},《经济与老龄化》。第一卷:理论。查姆:Palgrave Macmillan(2018;Zbl 1443.91001) 全文: 内政部
亨利·普拉肯;米歇尔·德温特 辩论中的抽象:必要但危险。 (英语) 兹比尔1430.68314 Modgil,Sanjay(编辑)等人,《论证的计算模型》。2018年9月12日至14日,波兰华沙,2018年COMMA第七届会议记录。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。305, 85-96 (2018).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{H.Prakken}和\textit{M.de Winter},前面。Artif公司。智力。申请。305、85-96(2018;Zbl 1430.68314) 全文: 内政部
马丁·迪勒;阿特菲赫·凯沙瓦尔齐·扎法尔甘迪;托马斯·林斯比勒;斯特凡·沃尔特兰 研究抽象辩证框架的子类。 (英语) Zbl 1430.68304号 Modgil,Sanjay(编辑)等人,《论证的计算模型》。2018年9月12日至14日,波兰华沙,2018年COMMA第七届会议记录。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。305, 61-72 (2018).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Diller}等人,前面。Artif公司。智力。申请。305、61-72(2018;Zbl 1430.68304) 全文: 内政部
杰西·海因尼克;Arieli,奥弗 关于基于简单对立假设的论证框架的语义。 (英语) Zbl 1430.68307号 Modgil,Sanjay(编辑)等人,《论证的计算模型》。2018年9月12日至14日,波兰华沙,第七届会议记录,COMMA 2018。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。305, 9-20 (2018).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Heyninck}和\textit{O.Arieli},前面。Artif公司。智力。申请。305,9-20(2018;Zbl 1430.68307) 全文: 内政部
Arieli,奥弗;安娜玛丽·博格;克里斯蒂安·斯特拉 通过论证方法进行最大一致性推理。 (英语) Zbl 1444.68175号 J.日志。计算。 28,第7期,1523-1563(2018).MSC公司:68T27型 第68页第37页 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli}等人,J.Log。计算。28,第7号,1523-1563(2018;Zbl 1444.68175) 全文: 内政部 链接
汉内斯·斯特拉斯 在抽象的辩证框架和其他框架中实例化基于规则的不可行理论。 (英语) Zbl 1410.68348号 J.日志。计算。 28,第3号,605-627(2018).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{H.Strass},J.Log。计算。28,第3号,605--627(2018;Zbl 1410.68348) 全文: 内政部 链接
安东尼·尼克松;伯恩德·舒尔茨;谷川新一;沃尔特·怀特利 膨胀球体上框架的刚度。 (英语) 兹比尔1402.52026 SIAM J.离散数学。 32,第4期,2591-2611(2018).MSC公司:52立方厘米25 05立方厘米35 05年10月 70B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Nixon}等人,SIAM J.离散数学。32,第4号,2591--2611(2018;Zbl 1402.52026) 全文: 内政部 arXiv公司
斯蒂法诺·比斯塔雷利;法比奥·罗西;弗朗西斯科·桑蒂尼 一种新颖的加权辩护及其在抽象论证中的放松。 (英语) Zbl 1423.68479号 国际J近似推理 92, 66-86 (2018).MSC公司:68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}等人,《国际近似推理》92,66-86(2018;Zbl 1423.68479) 全文: 内政部
郑海伦 具有(g_{2}\geq2)的同调流形的一个特征。 (英语) Zbl 1390.57014号 J.库姆。理论,Ser。一个 153, 31-45 (2018). 审核人:杰森·汉森(雷蒙德) MSC公司:05年第57季度 2015年第57季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zheng},J.Comb。理论,Ser。A 153,31-45(2018;Zbl 1390.57014) 全文: 内政部 arXiv公司
比约恩·莱尔曼;卡洛斯·奥拉特;伊莱恩·皮门特尔 具有模态的子结构逻辑的统一框架。 (英语) Zbl 1402.03030号 Eiter,Thomas(编辑)等人,LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特:EasyChair。EPiC计算系列46,435-455(2017)。MSC公司:03B47号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.Lellmann}等人,EPiC Ser。计算。46、435--455(2017;Zbl 1402.03030) 全文: 内政部
林戈·鲍曼;汉内斯·斯特拉斯 关于双极布尔函数的个数。 (英语) Zbl 1404.06012号 J.日志。计算。 第8号第27页,2431-2449页(2017年).MSC公司:06E30年 2015年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{R.Baumann}和\textit{H.Strass},J.Log。计算。27,编号8,2431-2449(2017;兹bl 1404.06012) 全文: 内政部 链接
乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔 混合和次指数线性逻辑。 (英语) Zbl 1395.03034号 Nigam,Vivek(编辑)等人,《逻辑和语义框架及其应用第11次研讨会论文集》(LSFA 2016),葡萄牙波尔图,2016年。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记33295-111(2017)。MSC公司:03楼52 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Despeyroux}等人,《电子》。理论注释。计算。科学。33295--111(2017;Zbl 1395.03034) 全文: 内政部 arXiv公司
杰西卡·西德曼;奥黛丽·圣约翰 框架的刚性:理论和应用。 (英语) 兹比尔1379.52024 美国数学通告。Soc公司。 64,第9期,973-978(2017).MSC公司:52立方厘米25 05年10月 70B15号机组 93C85号 68单位07 PDF格式BibTeX公司 XML格式引用 \textit{J.Sidman}和\textit{A.St.John},《美国数学通告》。Soc.64,编号973-978(2017年;兹bl 1379.52024) 全文: 内政部
塞尔吉奥·阿马特;雅克·莲德拉特;胡安·鲁伊斯;胡安·特里洛(Juan C.Trillo)。 在不连续附近具有改进精度的幂WENO格式上。 (英语) Zbl 1377.65099号 SIAM J.科学。计算。 A2472-A2507(2017)第6号39.MSC公司:6500万06 65号06 PDF格式BibTeX公司 XML格式引用 \textit{S.Amat}等人,SIAM J.Sci。计算。39,第6号,A2472--A2507(2017;Zbl 1377.65099) 全文: 内政部
毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 JTabWb:用于实现终止序列和tableau计算的Java框架。 (英语) Zbl 1373.68364号 芬达姆。通知。 150,第1期,119-142(2017).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ferrari}等人,Fundam。通知。150,第1号,119--142(2017;Zbl 1373.68364) 全文: 内政部
Furio Honsell;路易吉·利科里;佩塔·马克西莫维奇;伊万·斯卡格内托 \(\mathsf{极低频}_{\mathcal{P}}\):一个逻辑框架,用于建模外部证据、附带条件和使用单子证明无关性。 (英语) Zbl 1456.03027号 日志。计算方法。科学。 13,第3号,第2号论文,33页(2017年).MSC公司:03B40型 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{F.Honsell}等人,日志。计算方法。科学。13,第3号,第2号论文,33页(2017;Zbl 1456.03027) 全文: 内政部 arXiv公司
Hiroyuki Kido;大泽,Yukio;卡苏米·尼塔 帕累托最优论证的帕累托论证框架。 (英语) Zbl 1361.68234号 J.日志。计算。 27,第1期,213-225(2017).MSC公司:68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kido}等人,J.Log。计算。27,第1号,213--225(2017;Zbl 1361.68234) 全文: 内政部 链接
A.Y.Alfakih。 通过spectrahedra的几何形状实现杆框架的通用刚度。 (英语) Zbl 1360.90184号 J.全球。最佳方案。 67,第4期,909-924(2017).MSC公司:90C22型 52立方厘米25 05C62号 PDF格式BibTeX公司 XML格式引用 \textit{A.Y.Alfakih},J.Glob。最佳方案。67,第4号,909--924(2017;Zbl 1360.90184) 全文: 内政部 arXiv公司
A.Y.Alfakih。 图形连接和钢筋框架的通用刚度。 (英语) Zbl 1358.05154号 离散应用程序。数学。 217,第3部分,707-710(2017).MSC公司:05C40号 PDF格式BibTeX公司 XML格式引用 \textit{A.Y.Alfakih},离散应用程序。数学。217,第3部分,707--710(2017;Zbl 1358.05154) 全文: 内政部 arXiv公司