程晓春
【姓名】 程晓春
【职称】 教授;
【研究领域】 计算机软件及计算机应用;教育理论与教育管理;自动化技术;
【研究方向】 人工智能、知识系统研究
【发表文献关键词】 算子逻辑,自然演绎,公理系统,自然演绎系统,约束,变换规则,自由变量,悉尼,推理系统,高阶逻辑,算子,约束条件,经典逻辑,时间延迟,模糊逻辑,技术学院,逻辑,抽象算子,科技大学,Hilbert,
【工作单位】 东北师范大学
【曾工作单位】 东北师范大学;
【所在地域】 吉林长春
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/7 4 5 1 90 2928
中国期刊全文数据库    共找到6篇
[1]程晓春,钟绍春,欧阳丹彤,李春生,陈庆锋,张成奇.抽象算子逻辑及其自然演绎系统[J]东北师大学报(自然科学版).2004,(04)
[2]荆永君,钟绍春,程晓春,严小卫.智能导学系统设计[J]广西师范大学学报(自然科学版).2004,(03)
[3]张丹,钟绍春,程晓春,严小卫.基于互联网对外汉语教学模式的研究[J]广西师范大学学报(自然科学版).2004,(03)
[4]宋艳辉,王文永,程晓春.一个基于Viola-Jones框架的面部识别算法的改进[J]东北师大学报(自然科学版).2005,(03)
[5]王春阳,钟绍春,程晓春.基于多Agent技术的信息资源配送系统模型研究[J]试验技术与试验机.2005,(03)
[6]王春阳;钟绍春;程晓春;.发挥多Agent系统的威力[J]中国教育网络.2006,(04)
更多
中国重要会议全文数据库    共找到1篇
[1]邱广宏;潘伟;程晓春;.基于多Agent资源配送的动态路径规划方法研究[A].全国自动化新技术学术交流会会议论文集(一).2005-11-01
更多