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

登录注册

全文

有本地全文

2篇

出版年度

	2019	1篇
	2016	1篇

作者

	Krzysztof Bar	2篇
	Aleks Kissinger	1篇
	Barbara Jach-Siwek	1篇
	Jakub Kempisty	1篇
	Jamie Vicary	1篇

	Konrad Janicki	1篇
	Maciej Barczentewicz	1篇
	Mateusz Stasieczek	1篇
	Piotr Bobiarski	1篇
	Przemysław Mitura	1篇
	Wojciech Dzierżak	1篇

来源期刊

	Journal of Education, Health and Sport	1篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇

学科主题

	教育	1篇
	计算技术、计算机技术	1篇

语种

英文

2篇

国别/地区

德国

1篇

检索条件:"( ( 高级检索(( ((AU:(("Krzysztof Bar")))) )) ) )"

共 2 条记录

排序：全选导出：

1.The influence of varicocelectomy on semen parameters and fertility

作　　者：Mateusz Stasieczek ;Krzysztof Bar ;Przemysław Mitura 等

出　　处：Journal of Education, Health and Sport. 2019 ;9(4):337-344.doi:10.5281/zenodo.2639213

出版社：Kazimierz Wielki University

文章 ID：252042632

文章详细全文下载
2.Globular: An Online Proof Assistant for Higher-Dimensional Rewriting

作　　者：Krzysztof Bar ;Aleks Kissinger ;Jamie Vicary

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:34:1-34:11.doi:10.4230/LIPIcs.FSCD.2016.34

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

文章 ID：186847466

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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