计算机科学中的形式化
Formalization in Computer Science作者机构：东北财经大学人工智能研究所大连116023
出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)
年 卷 期：1992年第29卷第5期
页 面：37-43页
核心收录：
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：计算机科学中的形式化可分为描述概念的形式化、证明定理的形式化、定义语法的形式化、编译语言的形式化和处理文本的形式化等等.本文重点讨论将逻辑语言编译为ALGOL语言的形式化生成.
维普期刊数据库
同方期刊数据库