作 者:Marcus V M Ramos ;José Carlos Bacelar Almeida ;Nelma Moreira 等
出 处:Journal of Formalized Reasoning. 2016 ;9(2):53-68.doi:10.6092/issn.1972-5787/5595
出 版 社:Alma Mater Studiorum - University of Bologna
文 章 ID:191490968