• 逆合成孔径雷达

  • 137篇参考文献[SW04999 ]
  • 只需维护即可。可理解的半自动推理逆合成孔径雷达接近可读形式证明文件集…用户级工作的抽象化。这个逆合成孔径雷达形式证明语言已经被设计来满足…现有的陈述定理证明系统(如Mizar),逆合成孔径雷达避免了几个缺点:它是基于…直接也一样。伊莎贝尔系统报价逆合成孔径雷达作为一种替代的证明语言接口层…
  • 规划师

  • 29篇参考文献[SW02047 ]
  • 伊莎贝尔定理证明器逆合成孔径雷达语言写在ISAPLANER中的主要证明技术…
  • 中央结算系统

  • 25篇参考文献[SW03357]
  • 伊莎贝尔/霍尔(新风格)逆合成孔径雷达语法)。翻译后定理证明器可用于…
  • 完备性定理

  • 7篇参考文献[SW28 562]
  • 在2000年初正式化了这个定理。这个逆合成孔径雷达转换是由于Tom Ridge…
  • 冰流

  • 4篇参考文献[SW13077 ]
  • 挑战伊莎贝尔最流行的语言界面,逆合成孔径雷达有吸引力的新用户,强大的…旨在通过合并来填补这一空白逆合成孔径雷达语言元素,从而使其成为可访问的…
  • 空间偏析

  • 1篇参考文献[SW12268]
  • 包括空间功能:混合,香农,辛普森,逆合成孔径雷达,MCI。包括邻域:几何,K近邻,加布里埃尔…
  • 命题分解

  • 1篇参考文献[SW28 841]
  • 伊莎贝尔HOL中的证明(主要使用结构化)逆合成孔径雷达正确性和完整性的证明……
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 超小卫星

  • 518篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • TPS

  • 71篇参考文献[SW0933]
  • TPS和ETPS分别是定理证明…
  • 毫升

  • 498篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • PDCO

  • 582篇参考文献[SW05148]
  • PdCo:凸目标的原始对偶内点法…