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

登录注册

全文

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

出版年度

	2021	1篇
	2020	1篇
	2011	1篇

作者

	de Jong, Tom	3篇
	Aronov, Boris	1篇
	Buchin, Kevin	1篇
	Buchin, Maike	1篇
	Escardó, Martín Hötzel	1篇

	Jansen, Bart	1篇
	Loffler, Maarten	1篇
	Luo, Jun	1篇
	Silveira, Rodrigo I.	1篇
	Speckmann, Bettina	1篇
	van Kreveld, Marc	1篇
	van Oosten, Jaap	1篇

来源期刊

	Journal of Spatial Information Science	1篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇
	Logical Methods in Computer Science	1篇

学科主题

	计算技术、计算机技术	2篇
	地理学	1篇

语种

英文

3篇

国别/地区

	德国	2篇
	澳大利亚	1篇

检索条件:"( ( 高级检索(( ((AU:(("de Jong, Tom")))) )) ) )"

共 3 条记录

排序：全选导出：

1.Connect the dot: Computing feed-links for network extension

作　　者：Aronov, Boris ;Buchin, Kevin ;Buchin, Maike 等

出　　处：Journal of Spatial Information Science. 2011 ;2011(3):3-31.

出版社：The University of Maine

文章 ID：94671498

文章详细全文下载
2.The Sierpinski Object in the Scott Realizability Topos

作　　者：van Oosten, Jaap ;de Jong, Tom

出　　处：Logical Methods in Computer Science. 2020 ;16(3):1-16.

出版社：Technical University of Braunschweig

文章 ID：1035318192

文章详细
3.Predicative Aspects of Order Theory in Univalent Foundations

作　　者：de Jong, Tom ;Escardó, Martín Hötzel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;195.doi:10.4230/LIPIcs.FSCD.2021.8

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

文章 ID：1037088331

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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