刘敏 张明义 吴占斌 周沛 陈尔淦 聂堂钊 杨明华 刘长云 吴学江 张秋菊 宁卓 邹阳 王健 李翰芳 张庆顺 董改芳 秦永彬 简岩 陶朱

闭包 钒催化剂 SO2氧化 机理模型 同态证明 关系的性质 基本割集 评价方法 公式的扩张 行列式 调度 变量出现 确定型有穷自动机 非确定型有穷自动机 嵌入式实时操作系统 闭合树 机助标引 支撑树 SAT问题 等价结构 Laplace定理 等价 正则语言 矩阵可逆 Turbo C语言的应用 图匹配 树型方法 子任务 改名 自动推理

贵州大学计算机科学与技术学院 贵州大学理学院 贵州科学院 贵州大学应用化学研究所 贵州大学计算机科学系 贵州贵阳 贵州大学计算机科学系图书情报系 贵州大学图书情报系