亚历山大·斯蒂恩;克里斯托夫·本兹穆勒 Leo-III中的扩展高阶副调制。 (英语) Zbl 1509.68321号 J.汽车。推理 65,第6号,775-807(2021)。MSC公司:68伏15 03B16号 03立方厘米35 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Steen}和\textit{C.Benzmüller},J.Autom。推理65,No.6,775--807(2021;Zbl 1509.68321) 全文: 内政部 arXiv公司
克里斯托夫·本兹穆勒;家长,Xavier;范德托雷、伦德特 为伦理和法律推理设计规范理论:LogiKEy公司框架、方法和工具支持。 (英语) Zbl 1493.68286号 Artif公司。智力。 287,文章ID 103348,28 p.(2020)。MSC公司:68T01型 03A05号 03B16号 03立方厘米35 03B45号 68T27型 68立方英尺 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Benzmüller}等人,Artif。智力。287,文章ID 103348,28 p.(2020;Zbl 1493.68286) 全文: 内政部 arXiv公司