首页期刊浏览 2025年02月17日星期一

登录注册

全文

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

出版年度

	2021	1篇
	2013	1篇
	2003	1篇

作者

	Arnold Beckmann	3篇
	Neil Thapen	1篇
	Pavel Pudlak	1篇
	Qiushi Cao	1篇
	Sadeer Beden	1篇

来源期刊

	Electronic Colloquium on Computational Complexity	2篇
	Information	1篇

学科主题

计算技术、计算机技术

3篇

语种

英文

3篇

国别/地区

	德国	2篇
	瑞士	1篇

检索条件:"( ( 高级检索(( ((AU:(("Arnold Beckmann")))) )) ) )"

共 3 条记录

排序：全选导出：

1.Parity Games and Propositional Proofs

作　　者：Pavel Pudlak ;Arnold Beckmann ;Neil Thapen

出　　处：Electronic Colloquium on Computational Complexity. 2013 ;2013.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：88774839

文章详细全文下载
2.Height restricted constant depth LK

作　　者：Arnold Beckmann

出　　处：Electronic Colloquium on Computational Complexity. 2003 ;2003.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：47146849

文章详细全文下载
3.SCRO: A Domain Ontology for Describing Steel Cold Rolling Processes towards Industry 4.0

作　　者：Sadeer Beden ;Qiushi Cao ;Arnold Beckmann

出　　处：Information. 2021 ;12(8):304.doi:10.3390/info12080304

出版社：MDPI Publishing

文章 ID：1035174257

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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