安东尼奥·埃尔南多;尤金尼奥·罗内斯·洛扎诺;罗伯托·马丁内斯音乐大师;豪尔赫·特杰多尔 铁路联锁系统决策的逻辑代数方法。 (英语) Zbl 1280.68302号 安。数学。Artif公司。智力。 65,第4期,317-328(2012).MSC公司:68瓦30 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Hernando}等人,Ann.数学。Artif公司。智力。65,第4号,317--328(2012;Zbl 1280.68302) 全文: 内政部
安东尼奥·埃尔南多 通过问题空间的约简证明问题不可能解决的新方法。 (英语) Zbl 1253.68301号 安。数学。Artif公司。智力。 57,第3-4号,205-231(2009).MSC公司:68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{A.Hernando},Ann.数学。Artif公司。智力。57,编号3--4,205-231(2009;Zbl 1253.68301) 全文: 内政部
尤金尼奥·罗内斯·洛扎诺;安东尼奥·埃尔南多;路易斯·莱塔。;罗内斯·马西亚斯,尤金尼奥 基于规则的专家系统中基于Groebner的反向推理方法。 (英语) Zbl 1184.68494号 安。数学。Artif公司。智力。 56,编号3-4,297-311(2009).MSC公司:68层35 03B05号 13页第10页 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes-Lozano}等人,《数学年鉴》。Artif公司。智力。56,编号3--4,297--311(2009;Zbl 1184.68494) 全文: 内政部