首页期刊浏览 2024年11月13日星期三

登录注册

全文

有全文链接

2篇

出版年度

	2022	1篇
	2018	1篇

作者

	Cornelis A. Middelburg	2篇
	Jan A. Bergstra	1篇

来源期刊

	Computer Science Journal of Moldova	1篇
	Scientific Annals of Computer Science	1篇

学科主题

	图书馆学	1篇
	情报学	1篇
	计算技术、计算机技术	1篇

语种

英文

2篇

国别/地区

	摩尔多瓦	1篇
	罗马尼亚	1篇

检索条件:"( ( 高级检索(( ((AU:(("Cornelis A. Middelburg")))) )) ) )"

共 2 条记录

排序：全选导出：

1.A Short Introduction to Program Algebra with Instructions for Boolean Registers

作　　者：Jan A. Bergstra ;Cornelis A. Middelburg

出　　处：Computer Science Journal of Moldova. 2018 ;26(3):199-232.

出版社：Institute of Mathematics and Computer Science

文章 ID：219800417

文章详细
2.Imperative Process Algebra with Abstraction

作　　者：Cornelis A. Middelburg

出　　处：Scientific Annals of Computer Science. 2022 ;XXXII(1):137-179.doi:10.7561/SACS.2022.1.137

出版社：Alexandru Ioan Cuza University of Iasi

文章 ID：1038318687

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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