迈克尔·卡明斯基 关于非确定性多值逻辑计算的注记。 (英语) Zbl 07597930号 芬丹。通知。 186,编号1-4,143-153(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.卡明斯基},芬达姆。通知。186,编号1--4,143-153(2022;Zbl 07597930) 全文: 内政部 arXiv公司
赫尔曼·格乌弗斯;罗伯·奈德佩尔特 de Bruijn早期证明检查器Automath的特点。 (英语) 兹伯利07556718 芬丹。通知。 185,编号4,313-336(2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.Geuvers}和\textit{R.Nederpelt},Fundam。通知。185,编号4,313--336(2022;Zbl 07556718) 全文: 内政部 arXiv公司
曼弗雷德·施密特·沙乌;特默尔库西亚;约尔迪·利维;马图·维拉雷特;尤努斯·库茨 高阶表达式与递归let的名义统一与匹配。 (英语) Zbl 07527238号 芬丹。通知。 185,编号3,247-283(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人,Fundam。通知。185,第3号,247--283(2022;Zbl 07527238) 全文: 内政部 arXiv公司
亚当·格拉博夫斯基 一些广义粗糙近似的自动比较研究。 (英语) Zbl 1519.68274号 芬丹。通知。 179,编号2,165-182(2021).MSC公司:68层37 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski},芬丹。通知。179,编号2,165-182(2021;兹bl 1519.68274) 全文: 内政部
坎通纳,多梅尼科;安德烈亚·德·多梅尼科;皮埃特罗·毛吉里;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。 集合论可判定片段的复杂性评估。一: 布尔案例的分类。 (英语) Zbl 1498.03112号 芬丹。通知。 181,编号1,37-69(2021).MSC公司:03E30年 03B25号 03B35型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,Fundam。通知。181,编号1,37--69(2021;Zbl 1498.03112) 全文: 内政部
坎通纳,多梅尼科;玛丽安娜·尼科洛西·阿斯蒙多;丹尼尔·弗朗西斯科·桑塔马利亚 一种改进的基于集合的描述逻辑推理器{数字图书馆}_\mathrm{D}^{4,\times\dagger}\)。 (英语) Zbl 1497.68545号 芬丹。通知。 178,编号4,315-346(2021).MSC公司:68伏15 03E30年 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,Fundam。通知。178,编号4,315--346(2021;Zbl 1497.68545) 全文: 内政部
坎通纳,多梅尼科;玛丽安娜·尼科洛西·阿斯蒙多;丹尼尔·弗朗西斯科·桑塔马利亚 描述逻辑推理服务的集合理论方法{数字图书馆}_\mathrm{D}^{4,\次}\)。 (英语) Zbl 1506.68134号 芬丹。通知。 176,编号3-4,349-384(2020).MSC公司:68T27型 68立方英尺 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,Fundam。通知。176,编号3--4,349--384(2020;Zbl 1506.68134) 全文: 内政部
马里奥·阿尔维亚诺;卡明·多达罗 最优稳定模型搜索的不满意核心分析和聚合。 (英语) Zbl 1497.68451号 芬丹。通知。 176,编号3-4,271-297(2020).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{C.Dodaro},Fundam。通知。176,编号3--4,271--297(2020;Zbl 1497.68451) 全文: 内政部
劳拉·佐丹奴;瓦伦蒂娜·格里奥齐 本体论中异常的推理:从词典学闭包到怀疑论闭包。 (英语) Zbl 1497.68463号 芬丹。通知。 176,编号3-4,235-269(2020).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{V.Gliozzi},Fundam。通知。176,编号3--4,235-269(2020;Zbl 1497.68463) 全文: 内政部 arXiv公司
玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 有序同胚嵌入结合性和/或交换性公理的模组合。 (英语) Zbl 1497.68235号 芬丹。通知。 177,编号3-4,297-329(2020).MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Fundam。通知。177,编号3--4,297--329(2020;Zbl 1497.68235) 全文: 内政部 arXiv公司
Chen,Qian Matteo先生;阿尔贝托·芬齐;托尼·曼奇尼;伊戈尔·梅拉蒂;恩里科·特隆西 MILP、伪布尔和OMT解算器,用于任务关键型无线网络中中继节点的最佳容错放置。 (英语) Zbl 1496.68300号 芬丹。通知。 174,编号3-4,229-258(2020).MSC公司:68T20型 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{Q.M.Chen}等人,Fundam。通知。174,编号3--4,229--258(2020;Zbl 1496.68300) 全文: 内政部 arXiv公司