曼纽尔·拉德拉;皮拉尔·帕伊兹·古利兰;托马斯·雷西奥 处理自动化证明中的负面条件:工具和挑战。拉比诺维奇的诡计带来了意想不到的后果。 (英语) Zbl 1453.68209号 Rev.R.学术版。中国。精确到Fís。Nat.,Ser。一个垫子,RACSAM 114,第4号,第162号文件,第16页(2020).MSC公司:68伏15 第14季度20 PDF格式BibTeX公司 XML格式引用 \textit{M.Ladra}等人,Rev.R.Acad。中国。精确到Fís。Nat.,Ser。A Mat.,RACSAM 114,第4期,第162号论文,16页(2020年;Zbl 1453.68209) 全文: 内政部
尤金尼奥·罗内斯·洛扎诺;何塞·安东尼奥·阿隆索;安东尼奥·埃尔南多 铁路联锁系统中从答案集规划到决策的一种方法。 (英语) 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。Nat.,Ser。A Mat.,RACSAM 108,No.2,973--987(2014;Zbl 1304.90063) 全文: 内政部
尤金尼奥·罗内斯·洛扎诺;何塞·安东尼奥·阿隆索;安东尼奥·埃尔南多;路易斯·莱塔。;罗内斯·马西亚斯,尤金尼奥 逻辑探索者:用于探索有限多值命题逻辑的Maple包。 (英语) Zbl 1260.03002号 Rev.R.学术版。中国。精确到Fís。Nat.,Ser。一个垫子,RACSAM 105,编号323-337(2011).MSC公司:03-04 03B50号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes Lozano}等人,R.Acad牧师。中国。精确到Fís。Nat.,Ser。A Mat.,RACSAM 105,No.2,323--337(2011;Zbl 1260.03002) 全文: 内政部
尤金尼奥·罗内斯·洛扎诺;路易斯·莱塔。;安东尼奥·埃尔南多;罗内斯·马西亚斯,尤金尼奥 基于规则的专家系统的代数方法。 (英语) Zbl 1197.68078号 Rev.R.学术版。中国。精确到Fís。Nat.,Ser。一个垫子,RACSAM 104,第1期,19-40(2010).MSC公司:68层35 68瓦30 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes Lozano}等人,R.Acad牧师。中国。精确到Fís。Nat.,Ser。A Mat.,RACSAM 104,编号1,19--40(2010;Zbl 1197.68078) 全文: 内政部