吴敏超;拉杰夫·戈尔 模态逻辑的验证决策程序。 (英语) 兹比尔07649980 Harrison,John(ed.)等人,第十届交互式定理证明国际会议,2019年9月9日至12日,美国俄勒冈州波特兰。会议记录。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。141,第31条,第19页(2019)。MSC公司:68伏15 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Wu}和\textit{R.Goré},LIPIcs——莱布尼茨国际程序。通知。141,第31条,第19页(2019年;Zbl 07649980) 全文: 内政部
阿隆索-吉梅内斯,何塞A。;Aranda-Corral,冈萨罗A。;博雷戈·迪亚斯(Borrego-Díaz,Joaquín);Fernández-Lebrón,M.Magdalena;JoséHidalgo-Doblado,M。 用于基于知识的系统推理的逻辑代数工具。 (英语) Zbl 1400.68210号 J.日志。阿尔盖布。方法计划。 101, 88-109 (2018)。MSC公司:68层35 68问题55 68T27型 68立方英尺 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Alonso-Jiménez}等人,J.Log。阿尔盖布。方法计划。101、88-109(2018;Zbl 1400.68210) 全文: 内政部 arXiv公司
罗恩·洛扎诺,尤金尼奥;何塞·安东尼奥·阿隆索;安东尼奥·埃尔南多 铁路联锁系统中从答案集规划到决策的一种方法。 (英语) Zbl 1304.90063号 Rev.R.学术版。中国。精确到Fís。Nat.,Ser。一个垫子,RACSAM 108,第2期,973-987(2014)。MSC公司:90B20型 68N17号 03B70号 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes Lozano}等人,R.Acad牧师。中国。精确到Fís。自然,序列。A材料,RACSAM 108,编号2,973-987(2014;Zbl 1304.90063) 全文: 内政部