刘艾;刘少英;孙孟 概率调解人:联合大脑的观点。 (英语) Zbl 07595227号 J.日志。阿尔盖布。方法计划。 129,文章ID 100808,16 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Liu}等人,J.Log。阿尔盖布。方法计划。129,文章ID 100808,16 p.(2022;Zbl 07595227) 全文: 内政部
本杰明·利昂;法哈德·阿尔巴;卡罗琳·塔尔科特 交互网络物理系统的语义模型。 (英语) Zbl 07595226号 J.日志。阿尔盖布。方法计划。 129,文章ID 100807,25 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Lion}等人,J.Log。阿尔盖布。方法计划。129,文章ID 100807,第25页(2022;Zbl 07595226) 全文: 内政部 arXiv公司
克莱门·奥伯特;丹尼尔·瓦拉卡 针对测试的过程:定义上下文等效性。 (英语) 兹伯利07595225 J.日志。阿尔盖布。方法计划。 129,文章ID 100799,18 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}和\textit{D.Varacca},J.Log。阿尔盖布。方法计划。129,文章ID 100799,18 p.(2022;Zbl 07595225) 全文: 内政部 arXiv公司 哈尔
普申尼琴(Pshenitsyn,Tikhon) Hypergraph Lambek语法。 (英语) Zbl 07595224号 J.日志。阿尔盖布。方法计划。 129,文章ID 100798,25 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Pshentitsyn},J.Log。阿尔盖布。方法计划。129,文章ID 100798,25 p.(2022;Zbl 07595224) 全文: 内政部