尤金尼奥·罗内斯·洛扎诺;何塞·安东尼奥·阿隆索;安东尼奥·埃尔南多;路易斯·莱塔。;罗内斯·马西亚斯,尤金尼奥 逻辑探索者:用于探索有限多值命题逻辑的Maple包。 (英语) Zbl 1260.03002号 Rev.R.学术版。中国。精确到Fís。自然,序列。一个垫子,RACSAM 105,第2期,323-337(2011).MSC公司:03-04 03B50号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes-Lozano}等人,Rev.R.Acad。中国。精确到Fís。自然,序列。A Mat.,RACSAM 105,No.2,323--337(2011;Zbl 1260.03002) 全文: 内政部
尤金尼奥·罗内斯·洛扎诺;路易斯·莱塔。;安东尼奥·埃尔南多;罗内斯·马西亚斯,尤金尼奥 基于规则的专家系统的代数方法。 (英语) Zbl 1197.68078号 Rev.R.学术版。中国。精确到Fís。自然,序列。一个垫子,RACSAM 104,编号1,19-40(2010).MSC公司:68层35 68瓦30 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes-Lozano}等人,Rev.R.Acad。中国。精确到Fís。自然,序列。A Mat.,RACSAM 104,编号1,19--40(2010;Zbl 1197.68078) 全文: 内政部
尤金尼奥·罗内斯·洛扎诺;安东尼奥·埃尔南多;路易斯·莱塔。;罗内斯·马西亚斯,尤金尼奥 基于规则的专家系统中基于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) 全文: 内政部