1.Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT

作　　者：Miquel Bofill ;Gines Moreno ;Carlos Vazquez 等

出　　处：Electronic Communications of the EASST. 2013 ;64(0).

出版社：European Association of Software Science and Technology (EASST)

文章 ID：101777669

文章详细全文下载
2.Analyzing Fuzzy Logic Computations with Fuzzy XPath

作　　者：Jesus M. Almendros-Jimenez ;Alejandro Luna ;Gines Moreno 等

出　　处：Electronic Communications of the EASST. 2013 ;64(0).

出版社：European Association of Software Science and Technology (EASST)

文章 ID：101777672

文章详细全文下载
3.Evidence for indigenous nitrogen in sedimentary and aeolian deposits from the Curiosity rover investigations at Gale crater, Mars

作　　者：Muriel Saccoccio ;Charles Yana ;Carlos Armiens‐Aparicio 等

出　　处：Proceedings of the National Academy of Sciences. 2015 ;112(14):4245-4250.doi:10.1073/pnas.1420932112

出版社：The National Academy of Sciences of the United States of America

文章 ID：103255259

文章详细全文下载
4.Analyzing Fuzzy Logic Computations with Fuzzy XPath

作　　者：Jesus M. Almendros-Jimenez ;Alejandro Luna ;Gines Moreno 等

出　　处：Electronic Communications of the EASST. 2015 ;64.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：185434303

文章详细全文下载
5.Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT

作　　者：Miquel Bofill ;Gines Moreno ;Carlos Vazquez 等

出　　处：Electronic Communications of the EASST. 2014 ;64.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：185434305

文章详细全文下载
6.String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations

作　　者：Gines Moreno ;Pedro J. Morcillo ;Jaime Penabad 等

出　　处：Electronic Communications of the EASST. 2013 ;55.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：185435824

文章详细全文下载

	Gines Moreno	6篇
	Carlos Vazquez	5篇
	Alejandro Luna	2篇
	Jesus M. Almendros-Jimenez	2篇
	Mateu Villaret	2篇

	Miquel Bofill	2篇
	Aaron Sengstacken	1篇
	Abbey Nastan	1篇
	Abigail Fraeman	1篇
	Agnès Cousin	1篇
	Aileen Yingst	1篇
	Alain Cros	1篇
	Alain Lepinette Malvitte	1篇
	Alankrita Mrigakshi	1篇
	Albert Yen	1篇
	Alberto Behar	1篇
	Alberto Fairén	1篇
	Alex Parra	1篇
	Alexander Hayes	1篇
	Alexander Kharytonov	1篇
	Alexander Kozyrev	1篇
	Alexander Pavlov	1篇
	Alexey Malakhov	1篇
	Alexey Varenikov	1篇
	Alicia Thomas	1篇
	Alissa Mezzacappa	1篇
	Allan Treiman	1篇
	Amy McAdam	1篇
	Amy Williams	1篇
	Andrea Jones	1篇
	Andrew Aubrey	1篇
	Andrew Salamon	1篇
	Andrey Vostrukhin	1篇
	Angela Lundberg	1篇
	Angela Magee	1篇
	Ann Ollila	1篇
	Anna Brunner	1篇
	Anthony Scodary	1篇
	Anton Sanin	1篇
	Antonio Molina Jurado	1篇

	计算技术、计算机技术	5篇
	自然科学总论	1篇

	德国	5篇
	美国	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Gines Moreno")))) )) ) )"

	Electronic Communications of the EASST	5篇
	Proceedings of the National Academy of Sciences	1篇

	2015	2篇
	2014	1篇
	2013	3篇