作 者: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