电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Mauricio Ayala-Rincón ;Maribel Fernández ;Daniele Nantes-Sobrinho
出 处：Electronic Proceedings in Theoretical Computer Science. 2013 ;113:45-60.doi:10.4204/EPTCS.113.7
出 版 社：Open Publishing Association
文 章 ID：85356999
作 者：Ana Cristina Rocha Oliveira ;Mauricio Ayala-Rincón
出 处：Electronic Proceedings in Theoretical Computer Science. 2013 ;113:145-152.doi:10.4204/EPTCS.113.14
出 版 社：Open Publishing Association
文 章 ID：85357006
作 者：Daniel Ventura ;Mauricio Ayala-Rincón ;Fairouz Kamareddine
出 处：Electronic Proceedings in Theoretical Computer Science. 2009 ;15:69-82.doi:10.4204/EPTCS.15.6
出 版 社：Open Publishing Association
文 章 ID：83119811
作 者：Andréia B Avelar ;André L Galdino ;Flávio LC de Moura 等
出 处：Electronic Proceedings in Theoretical Computer Science. 2011 ;81:63-78.doi:10.4204/EPTCS.81.5
出 版 社：Open Publishing Association
文 章 ID：83120413
作 者：Mauricio Ayala-Rincón ;Yuri Santos Rego
出 处：Journal of Formalized Reasoning. 2013 ;6(1):31-61.doi:10.6092/issn.1972-5787/3720
出 版 社：Alma Mater Studiorum - University of Bologna
文 章 ID：100489234
作 者：Andre Luiz Galdino ;Mauricio Ayala-Rincón
出 处：Journal of Formalized Reasoning. 2008 ;1(1):39-50.doi:10.6092/issn.1972-5787/1347
出 版 社：Alma Mater Studiorum - University of Bologna
文 章 ID：100489247