首页>找到“王立国”相关的3条结果
- 关键词：设计原理 数据库 谓词符号 模式匹配 系统处理 解释系统 第五代计算机 计算机语言 核心语言 子句
- 关键词：正则表达式 语义学 抽象数学 公理系统 模型论 有限自动机 自动机理论 广义函数 分析与综合 程序函数
- 关键词：子目标 自动综合 程序设计 子程序 程序规范 自动设计系统 演绎语言 抽象数据结构 抽象语义 元符号
1/1
全部
期刊
图书
学位论文
会议论文
专利
多媒体