• WHY3

  • 123篇参考文献[ SW044 38 ]
  • 逻辑库理论(整数和实数运算,布尔运算,套装地图…WHYML直接编程并获得正确的施工OCAML程序通过一个自动提取机制…
  • 阿加达

  • 167篇参考文献[SW0969]
  • 基于直觉型理论一个基础系统建设性的瑞典人开发的数学Emacs模式你可以配置通过运行AGDA模式设置(参见Read Mead…)
  • 电除尘器

  • 150篇参考文献[SW06302]
  • 多种数学活动促进形式化发展理论在各种各样的学科中,演绎…证明,翻译成自然演绎证明,建设自然演绎证明,翻译自然演绎证明…公式编辑器,方便建设其他已知的新公式…旗群设置TPS的互动设施建设自然演绎证明有…
  • TPS

  • 69篇参考文献[SW0933]
  • 多种数学活动促进形式化发展理论在各种各样的学科中,演绎…证明,翻译成自然演绎证明,建设自然演绎证明,翻译自然演绎证明…公式编辑器,方便建设其他已知的新公式…公式、定义和模式(标志组)设置
  • 遗传有限集

  • 5篇参考文献[SW29 249]
  • 否定。全部结构在ZF中是可能的配置 理论(笛卡尔积,不相交和,自然…
  • 雷德霍姆

  • 12篇参考文献[SW0876]
  • 套装. 库基于几何和代数约简方法实现算法:非循环子空间施工初等约化与余化与离散莫尔斯理论. 简化方法应用于速度…
  • 迈尔斯

  • 4篇参考文献[SW0609]
  • 建构几种新方法。首先,粗糙的基本概念配置 理论然后介绍…
  • 斯库纳

  • 3篇参考文献[SW21328 ]
  • 施工在非类型化中作为函数关系的函数配置 理论. 使用依赖型理论
  • 马吕科普

  • 19篇参考文献[SW07197]
  • 典型数学设置解决复杂大系统中的许多问题理论从成功中学到…更精细。这带来了有趣的可能性。施工自学AI数学的训练…
  • 法多

  • 13篇参考文献[SW10335]
  • 旨在提供一个正在进行的项目配置用于象征性操纵正式的工具…介意施工自动机教学工具的研究理论和正式语言…
  • ECDAR

  • 10篇参考文献[SW0824]
  • 一个好的组合推理的重要操作理论组成、连接、商、一致性/满意度检查和细化…将基本模型结合到更大规格中建造综合系统描述从基本要求。算法…基于博弈论设置例如,这允许捕捉…
  • 戴萨

  • 12篇参考文献[SW14290]
  • 微分代数方程的结构分析:理论. DAESA,微分代数方程结构分析器…系统导入MATLAB并提供一个小程序配置易于使用的功能。戴萨…通过这个工具可视化。它也可以建造块三角形形式…块式方式。本文描述了理论和算法的基础代码…
  • 斯特尔特

  • 10篇参考文献[SW0972]
  • 输入语言提供了配置属于建构它允许时间逻辑的简单定义…查找输入的所有模型理论
  • 有限自动机

  • 5篇参考文献[SW29 250 ]
  • 遗传有限自动机配置 理论. 有限自动机,确定性和非确定性…正规语言。反向闭合;幂集施工将NFAS映射到DFAs。左右…
  • 吉他

  • 9篇参考文献[SW10336]
  • 旨在提供一个正在进行的项目配置用于象征性操纵正式的工具…介意施工自动机教学工具的研究理论和正式语言…
  • 匹配工具

  • 6篇参考文献[SW27 512]
  • 有效场计算理论. 它提供了工具建造通过定义一般模型…以任何选择重写它们配置操作员…
  • IPSIS

  • 14篇参考文献[SW07158]
  • 股票投资组合施工选择现代投资组合的基本原则理论是比较吗?投资组合,但更有效地解决配置投资组合中,投资者必须…整合与创新的方法论施工股权投资组合的选择,将…
  • 模糊的

  • 7篇参考文献[ SW02575 ]
  • 通过处理模型而不是规范语言理论. 论文的目的…模糊的描述首先,不同的语言建构通过实例说明…在两个定理中陈述。接下来,A配置公式与每个规范相关…
  • 卡塔戈

  • 14篇参考文献[SW11700 ]
  • 工件作为动态的资源和工具构建使用,被代理人操纵来支持/实现他们的…基于涉及活动的跨学科研究理论以分布式认知为主要概念背景框架。由动态组成的程序Agent计算环境套装不同种类的文物,…