理查森外推程序输入编号（1 理查森外推程序输入编号（1，2，3，分别表示lnx，tanx,sin(x^2+1/3x)计算函数）以及M和h的值，输出给出例6中的表格 2016-04-10 151 推理程序
采用C++编写的智能概念推理算法程序 采用C++编写的智能概念推理算法程序，带有程序所需的配置文件(SAT2005_example),在Linux或Cygwin下编译执行 2013-12-15 45 推理程序