×

找到7个文档（结果1-7）

最新的 引文 关联
尤金尼奥·罗内斯·洛扎诺;何塞·安东尼奥·阿隆索;安东尼奥·埃尔南多;路易斯·莱塔。;欧根尼奥，罗恩·马西亚斯

逻辑探索者：用于探索有限多值命题逻辑的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）
全文： 内政部
Roanes Macías，E。;罗恩斯·洛扎诺（Roanes Lozano），E。

通过执行伪除法来分析几何问题的邀请。（Una invitación a analyzar problems as geométricos ejecutando seudodivisions.） （西班牙语。英文摘要） Zbl 1213.03022号

Lambán，Laureano（编辑）等人，《科特利布西奥内斯·科菲卡斯纪念米利安·安德烈斯·戈麦斯》。洛格罗尼奥：拉里奥哈大学，公共服务部（ISBN 978-84-96487-50-5/hbk）。439-449 (2010).
MSC公司：03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{E.Roanes Macías}和textit{E.Roanes Lozano}，摘自：Contribucions centíficas en author de Mirian Andrés Gómez。洛格罗尼奥：拉里奥哈大学，公共服务部。439--449（2010年；Zbl 1213.03022）
尤金尼奥·罗内斯·洛扎诺;安东尼奥·埃尔南多;路易斯·莱塔。;欧根尼奥，罗恩·马西亚斯

基于规则的专家系统中基于Groebner的反向推理方法。 （英语） Zbl 1184.68494号

安。数学。Artif公司。智力。 56，编号3-4297-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）
全文： 内政部
欧根尼奥，罗恩·马西亚斯;尤金尼奥·罗内斯·洛扎诺

几何轨迹的自动确定。Simson-Steiner定理的三维推广。 （英语） Zbl 1042.68129号

约翰·坎贝尔（编辑）等人，《人工智能和符号计算》。2000年7月17日至19日在西班牙马德里举行的AISC 2000国际会议。修订论文。柏林：施普林格出版社（ISBN 3-540-42071-1）。莱克特。注释计算。科学。1930, 157-173 (2001).
MSC公司：68瓦30 68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{E.Roanes-Macías}和\textit{E.Loanes-Lozano}，莱克托。注释计算。科学。1930年，157--173（2001年；Zbl 1042.68129）
全文： 链接
Roanes-Lozano，E。;Roanes-Macías，E。;莱塔·L·M·。

基于知识的系统中强烈不一致性的几何解释。 （英语） Zbl 1073.68829号

Ganzha，V.G.（编辑）等人，《科学计算中的计算机代数》。99年CASC。第二次研讨会会议记录，德国慕尼黑，1999年5月31日至6月4日。柏林：施普林格出版社（ISBN 3-540-66047-X）。349-363 (1999).
MSC公司：68层35 68瓦30 03B50号
PDF格式BibTeX公司 XML格式引用
\textit{E.Roanes-Lozano}等人，in：科学计算中的计算机代数。99年CASC。第二次研讨会会议记录，德国慕尼黑，1999年5月31日至6月4日。柏林：斯普林格。349--363（1999年；Zbl 1073.68829）

筛选结果依据…

文档类型

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件