1.Superposition as a logical glue

作　　者：Andrea Asperti ;Enrico Tassi

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;53:1-15.doi:10.4204/EPTCS.53.1

出版社：Open Publishing Association

文章 ID：83120147

文章详细全文下载
2.A proof of Bertrand's postulate

作　　者：Andrea Asperti ;Wilmer Ricciotti

出　　处：Journal of Formalized Reasoning. 2012 ;5(1):37-57.doi:10.6092/issn.1972-5787/3406

出版社：Alma Mater Studiorum - University of Bologna

文章 ID：100489219

文章详细全文下载
3.Matita Tutorial

作　　者：Andrea Asperti ;Wilmer Ricciotti ;Claudio Sacerdoti Coen

出　　处：Journal of Formalized Reasoning. 2014 ;7(2):91-199.doi:10.6092/issn.1972-5787/4651

出版社：Alma Mater Studiorum - University of Bologna

文章 ID：100489232

文章详细全文下载
4.A Page in Number Theory

作　　者：Andrea Asperti ;Cristian Armentano

出　　处：Journal of Formalized Reasoning. 2008 ;1(1):1-23.doi:10.6092/issn.1972-5787/385

出版社：Alma Mater Studiorum - University of Bologna

文章 ID：100489233

文章详细全文下载
5.A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions

作　　者：Andrea Asperti ;Wilmer Ricciotti ;Claudio Sacerdoti Coen 等

出　　处：Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:18)2012

出版社：Technical University of Braunschweig

文章 ID：264691932

文章详细全文下载

	意大利	3篇
	德国	1篇
	澳大利亚	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Andrea Asperti")))) )) ) )"

	Andrea Asperti	5篇
	Wilmer Ricciotti	3篇
	Claudio Sacerdoti Coen	2篇
	Enrico Tassi	2篇
	Cristian Armentano	1篇

	Journal of Formalized Reasoning	3篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Logical Methods in Computer Science	1篇

	2014	1篇
	2012	2篇
	2009	1篇
	2008	1篇