1.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Ricardo Rocha ;Tran Cao Son ;Christopher Mears 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2018 ;58:0:i-0:xii.doi:10.4230/OASIcs.ICLP.2017.0

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220015517

文章详细
2.Timed Definite Clause Omega-Grammars

作　　者：Neda Saeedloei ;Gopal Gupta

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;7:212-221.doi:10.4230/LIPIcs.ICLP.2010.212

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845738

文章详细全文下载
3.Logic Programming Foundations of Cyber-Physical Systems

作　　者：Neda Saeedloei

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;7:289-293.doi:10.4230/LIPIcs.ICLP.2010.289

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845750

文章详细全文下载
4.Front Matter, Table of Contents, Preface, List of Authors

作　　者：Manuel Carro ;Andy King ;Neda Saeedloei 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2016 ;52:i-xvi.doi:10.4230/OASIcs.ICLP.2016.0

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186848957

文章详细全文下载
5.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Alessandro Dal Palu ;Paul Tarau ;Neda Saeedloei 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2018 ;64:i-xi.doi:10.4230/OASIcs.ICLP.2018.0

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：230213718

文章详细全文下载

	有本地全文	4篇
	有全文链接	1篇

	Manuel Carro	1篇
	Marina De Vos	1篇
	Paul Fodor	1篇
	Paul Tarau	1篇
	Ricardo Rocha	1篇
	Tran Cao Son	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Neda Saeedloei")))) )) ) )"

	Neda Saeedloei	5篇
	Alessandro Dal Palu	1篇
	Andy King	1篇
	Christopher Mears	1篇
	Gopal Gupta	1篇

	OASIcs : OpenAccess Series in Informatics	3篇
	LIPIcs : Leibniz International Proceedings in Informatics	2篇

	2018	2篇
	2016	1篇
	2010	2篇