首页期刊浏览 2025年05月12日星期一

登录注册

全文

有本地全文

3篇

出版年度

	2012	1篇
	2004	1篇
	2003	1篇

作者

	M. Bruynooghe	3篇
	M. Denecker	2篇
	B. Van Nuffelen	1篇
	F. Catthoor	1篇
	G. Janssens	1篇

	H. Vlaeminck	1篇
	J. Vennekens	1篇
	K. C. Shashidhar	1篇
	O. Arieli	1篇

来源期刊

	Journal of Artificial Intelligence Research	2篇
	Journal of Universal Computer Science	1篇

学科主题

计算技术、计算机技术

3篇

语种

英文

3篇

国别/地区

	美国	2篇
	奥地利	1篇

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

共 3 条记录

排序：全选导出：

1.An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs

作　　者：K. C. Shashidhar ;M. Bruynooghe ;F. Catthoor 等

出　　处：Journal of Universal Computer Science. 2003 ;9(3).doi:10.3217/jucs-009-03-0248

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

文章 ID：47163133

文章详细全文下载
2.An approximative inference method for solving ∃∀SO satisfiability problems

作　　者：H. Vlaeminck ;J. Vennekens ;M. Denecker 等

出　　处：Journal of Artificial Intelligence Research. 2012 ;45:79-124.

出版社：American Association of Artificial

文章 ID：216537790

文章详细全文下载
3.Coherent Integration of Databases by Abductive Logic Programming

作　　者：O. Arieli ;M. Denecker ;B. Van Nuffelen 等

出　　处：Journal of Artificial Intelligence Research. 2004 ;21:245-286.

出版社：American Association of Artificial

文章 ID：216538208

文章详细全文下载

1

电话：010-85195300

E-mail：[email protected]

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

扫一扫关注微信

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

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