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

speedith-inductive_circles-master.tar

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

代码说明:

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

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

发表评论

0 个回复

  • PPP_Vor
    空间泊松点过程画图 泰森多边形 matlab(Poisson point process)
    2020-07-01 12:00:01下载
    积分:1
  • pindu
    说明:  点阵式液晶图形显示模块画图功能的实现 西北工业大学 赵伟杰 范蟠果 (dot-matrix liquid crystal display modules drawing Realization of the Northwest Industrial University Zhao Wei Fan Panguo)
    2006-03-23 10:08:35下载
    积分:1
  • 超声导波传播的半解析有限元分析_霍宇森
    超声兰姆波用于无损检测,求解其相速度频散曲线,群速度频散曲线(ultrasonic lamb wave)
    2017-06-23 18:28:07下载
    积分:1
  • MTF_DifferentWa
    不同离焦下Mtf积分曲线随相位板参数的变化,进而用来选择合适的相位板(The Mtf integral curve along with the change of phase plate parameters to appropriate phase plate)
    2021-04-06 11:59:02下载
    积分:1
  • AddCAD
    AE实现加载CAD格式的数据,以及对其进行转换格式,转换为SHP等格式,还有对其进行编辑等操作(AE spatial data editing functions, including generating points, generating lines, as well as delete, move elements such as fried operation)
    2013-10-26 11:23:37下载
    积分:1
  • buck-compensation_mathcad
    Buck环路补偿Mathcad计算范例,十分经典!(Loop compensation for Buck converter)
    2020-08-09 06:48:29下载
    积分:1
  • R为参数的数据关联性 - 副本
    得到以电阻为参数的boost变换器的数据关联性分析(Data correlation analysis of boost converter with resistance as the parameter is obtained.)
    2018-05-30 17:32:58下载
    积分:1
  • huaban
    java画板,对图形编程有比较好的借鉴作用。画板的基本功能基本都有(java huaban)
    2013-08-13 16:07:41下载
    积分:1
  • fdenngzhixiaao
    用于C/C++/Visual C 二二维等值线的绘制,程序源码 (Drawn for two two-dimensional contour of the C/C++/Visual C program source)
    2012-08-06 13:17:50下载
    积分:1
  • OpenSceneGraph-Quick-Start-Guide
    OpenSceneGraph Quick Start Guide(The OpenSceneGraph the Quick Start Guide)
    2012-06-06 09:31:47下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载