文章基本信息

标题：A Theory for Abstract Reduction Systems in PVS
本地全文：下载
作者：Andre Luiz Galdino ; Mauricio Ayala-Rincon
期刊名称：CLEI Electronic Journal
印刷版ISSN：0717-5000
出版年度：2008
卷号：11
期号：2
出版社：Centro Latinoamericano de Estudios en Informática

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

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