登录
首页 » Java » speedith-inductive_circles-master.tar

speedith-inductive_circles-master.tar

于 2013-01-19 发布 文件大小:64KB
0 272
下载积分: 1 下载次数: 3

代码说明:

  蜘蛛图逻辑推理系统, 可以通过画图,来输入逻辑定理。 并可视化地完成证明过程。(Spider diagram logic reasoning system )

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • Bezier_matlab
    利用matlab,进行Bezier曲线曲面的绘制(The method of Bezier Curve and Bezier Surf)
    2021-04-29 15:08:43下载
    积分:1
  • MfcCurve2
    说明:  mfc下绘出样条曲线,并根据样条曲线对其上的值进行差值。(mfc-spline curves plotted under and in accordance with spline curve on the value of their difference.)
    2010-03-26 22:46:21下载
    积分:1
  • Hydration
    ABAQUS二次开发子程序HETVAL及UMATHT,可以模拟双曲线、指数型水化热曲线的大体积混凝土水化生热。(Secondary development of ABAQUS subroutine HETVAL and UMATHT, can simulate hyperbolic, exponential curve hydration heat of mass concrete water heat metaplasia.)
    2016-05-26 15:30:41下载
    积分:1
  • SyncMachineInit
    PSCAD Case for generator
    2015-07-10 23:34:28下载
    积分:1
  • TQWZZB
    cad提取文字坐标 能提取文字所在点的坐标值并保存到text中 (cad text extraction coordinates coordinates of the text can be extracted and saved to the point where the text of the)
    2014-01-10 23:28:48下载
    积分:1
  • houghplotline
    % 该函数实现hough变换提取直线的功能 % 输入图像x,运行之后直接画出直线。( This function to achieve a straight line hough transform function of extraction of the input image x, draw a straight line directly after the operation.)
    2006-12-21 16:30:35下载
    积分:1
  • 01_Geometry
    open cascade 二维图形生成例子程序(open cascade two-dimensional graph of sample program)
    2011-05-05 21:11:05下载
    积分:1
  • unicet-and-netdraw-explanation
    unicet和netdraw使用手册,能够较好的学习这两种软件,用于网络绘图(unicet, and netdraw use the manual, better able to learn both software for network drawing)
    2012-11-29 15:55:25下载
    积分:1
  • ZUIBIAO
    MFC 画出简单的坐标 并通过按钮产生随机点坐标(横坐标逐渐增大纵坐标随机)存入文件中 另一按钮实现读出数据并将点连成折线(MFC drawing simple coordinate and through the button generates random point coordinates (abscissa increases ordinate random) into a file and another button to achieve read data points connected into line)
    2013-09-14 13:59:46下载
    积分:1
  • computergraphics
    清华大学老师计算机图形学的讲义,主要介绍了BRDF模型的定义,辐射基本概念,BRDF的几种模型等。(The presentation of Tsinghua University about BRDF)
    2010-12-14 20:14:27下载
    积分:1
  • 696516资源总数
  • 106415会员总数
  • 3今日下载