科学网

 找回密码
  注册
“认识程序设计”之原始创新论文
程京德 2017-6-28 23:32
“认识程序设计”之原始创新论文 程京德 这是本人 1996 年和 1999 年的四篇论文,开创了“认识程序设计”这一新研究方向,是笔者研究室在这一研究方向上所有工作的初始基础。现将四篇论文存放于此,一方面留作保存记录,另一方面提供给听课学生和有兴趣者获取。 顺便把论文概要翻译为中文如下 ...
个人分类: 知识工程|2653 次阅读|没有评论
“相关推论”之原始创新论文
程京德 2017-6-15 12:59
“相关推论”之原始创新论文 程京德 这是本人 1998 年的两篇论文,开创了“相关推论”这一新研究方向,是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此,一方面留作保存记录,另一方面提供给听课学生和有兴趣者获取。 顺便把论文概要翻译为中文如下: WCES-98 论文 ...
个人分类: 知识工程|2428 次阅读|没有评论
“通用自动前推机” EnCal 和 FreeEnCal 之原始创新论文
程京德 2017-6-14 19:26
“通用自动前推机” EnCal 和 FreeEnCal 之原始创新论文 程京德 这是本人 1996 年和 2007 年的两篇论文,开创了“通用自动前推机”这一新研究方向,是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此,一方面留作保存记录,另一方面提供给听课学生和有兴趣者获取。 ...
个人分类: 知识工程|2510 次阅读|没有评论
自动知识增值:基本思想简介
程京德 2015-11-28 08:09
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 自动知识增值:基本思想简介 程京德 忙的很久没有来这 ...
个人分类: 知识工程|2866 次阅读|没有评论
自动定理发现
程京德 2015-2-23 07:33
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 自动定理发现 程京德 “自动定理发现(Automated T ...
个人分类: 知识工程|6718 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-3-28 18:32

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部