• 蝇斑

  • 107篇参考文献[SW1027 7]
  • 沟通正式校样以苍蝇为例。我们介绍一个平台…呈现和交联正式和非正式的 证明一起发展。该平台支持书写自然…按需状态信息在每一个证明步骤。我们认为这样的系统…理解形式化开发并促进协作非正式的正式的部分大开发…
  • 电除尘器

  • 152篇参考文献[SW06302]
  • 学科种类繁多,演绎性强信息这些学科的系统,可以推理的专家系统…搜索扩展设施校样翻译成自然演绎校样构造自然演绎…逻辑与类型理论:通向真理证明,第二版,克鲁维尔学术出版社,2002。描述。。。任何课程的字母等级。为了更多信息关于ETPS,你可以下载报告…
  • 发现

  • 81篇参考文献[SW21614]
  • 证明给出了算法“查找”的正确性,首先,非正式的描述描述了构造程序的技术证明在编码过程中…
  • 马尔萨斯

  • 42篇参考文献[SW1078]
  • 机器学习的成功校样使用所学信息修剪一套可用的…
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 证明通过使形式化水平接近非正式的
  • 超验

  • 24篇参考文献[SW22172]
  • 学习分析推理的原理证明建筑,由文字组成…顺序逻辑,超验结合图形和句子信息呈现一组逻辑规则…学生关注信息内容校样而不是句法结构…
  • 霍尔/自旋

  • 24篇参考文献[SW0988]
  • 路由信息在HOL/SPIN协议中,我们提供了一个证明使用HOL和自旋的收敛…路由信息协议(RIP),一种基于距离矢量路由的因特网协议。我们还计算…归纳,构建高层证明而后者则有效地进行案例分析…
  • EVT

  • 7篇参考文献[SW09805]
  • 国家,协助用户采取见多识广的 证明决定。。。
  • 奥特

  • 30篇参考文献[SW0663]
  • 通常为非正式的数学或形式数学证明助理-制造…
  • GCLC

  • 29篇参考文献[SW0326]
  • 语义几何信息具有演绎性质和机器生成校样
  • 路易

  • 10篇参考文献[SW19627 ]
  • 有效使用(交互)的必要条件证明系统LΩUI是多模态界面。特点:图形显示信息在一个证明图形,一个有选择性的术语浏览器…
  • 兆焦耳

  • 12篇参考文献[SW2432]
  • MJ的操作语义,并给出了证明类型安全。为了证明…推理效果算法信息给一个证明正确性…
  • 钙化

  • 37篇参考文献[SW0960]
  • 对{SC胶乳}的详细反馈-格式化计算校样从而有助于培养学生的信心…充分的形式与习惯之间的妥协,更多非正式的数学实践,因此教导方面…机械化的几个特殊要求证明检查器;其他有趣的方面来自细节…
  • 不可能

  • 2篇参考文献[SW32 243]
  • 也不是机器检查。在这个伊莎贝尔证明另一方面,所有这些…视为先前发表的重要观点非正式的 证明一个较弱的陈述中包含了一个错误…
  • 竖琴

  • 15篇参考文献[SW26323 ]
  • 通过删减冗余更可读证明领域无关启发制定公式捕捉…外宣的信息例如语义和世界知识,指导搜索。校样帮助消除…
  • TPS

  • 71篇参考文献[SW0933]
  • 学科种类繁多,演绎性强信息这些学科的系统,可以推理的专家系统…搜索扩展设施校样翻译成自然演绎校样构造自然演绎…
  • 科克拉姆

  • 2篇参考文献[SW28 719]
  • 搜索部分证明规划涉及使用失败信息修改计划…证明批评家利用信息从失败中获益证明尝试。我们的方法…
  • WBS

  • 50篇参考文献[SW11110]
  • 我们所说的“坚强的马蒂亚斯·舒瓦茨”信息准则。我们提供默认的推荐值…另外,我们提供了一个新的证明具有改进率的二值分割的一致性…
  • 帕诺佩茨

  • 1篇参考文献[SW09139]
  • 详情他们的用户界面经常出现证明 信息作为文本,变得越来越难…探索形式化的图形表示校样IMPS交互式数学生成证明系统用户其设施包括目标缩放、浮动信息盒,节点重新命名,以及适当的子结构崩溃…
  • 欧米茄

  • 3篇参考文献[SW19624]
  • 调制解调器,称为PLATΩ,在文本编辑器和证明助手。PLATΩ旨在集成支持…科学中的WYSIWYG文本编辑器非正式的他习惯的语言…灵活,参数化证明我们所呈现的语言。由此非正式的语义表示平台自动生成…A的对应形式表示证明助手,在我们的例子中Ω兆。首要任务…