首页期刊浏览 2025年05月08日星期四

登录注册

全文

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

出版年度

	2015	1篇
	2012	1篇
	2003	1篇

作者

	Maurice Bruynooghe	3篇
	Broes De Cat	2篇
	Marc Denecker	2篇
	Anthony Labarre	1篇
	Bart Bogaerts	1篇

	Francky Catthoor	1篇
	Gerda Janssens	1篇
	Hendrik Blockeel	1篇
	Jan Ramon	1篇
	K. C. Shashidhar	1篇
	Peter Stuckey	1篇
	Sicco Verwer	1篇
	Stef De Pooter	1篇

来源期刊

	Journal of Artificial Intelligence Research	1篇
	Journal of Universal Computer Science	1篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇

学科主题

计算技术、计算机技术

3篇

语种

英文

3篇

国别/地区

	奥地利	1篇
	德国	1篇
	美国	1篇

检索条件:"( ( 高级检索(( ((AU:(("Maurice Bruynooghe")))) )) ) )"

共 3 条记录

排序：全选导出：

1.Lazy Model Expansion: Interleaving Grounding with Search

作　　者：Broes De Cat ;Marc Denecker ;Maurice Bruynooghe 等

出　　处：Journal of Artificial Intelligence Research. 2015 ;52:235-286.

出版社：American Association of Artificial

文章 ID：216537649

文章详细全文下载
2.Modeling Machine Learning and Data Mining Problems with FO(·)

作　　者：Hendrik Blockeel ;Bart Bogaerts ;Maurice Bruynooghe 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;17:14-25.doi:10.4230/LIPIcs.ICLP.2012.14

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

文章 ID：186846098

文章详细全文下载
3.An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs

作　　者：K. C. Shashidhar ;Maurice Bruynooghe ;Francky Catthoor 等

出　　处：Journal of Universal Computer Science. 2003 ;9(3):248-269.

出版社：Graz University of Technology and Know-Center

文章 ID：186874508

文章详细

1

电话：010-85195300

E-mail：[email protected]

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有