• 流星

  • 16篇参考文献[SW26327 ]
  • 包容和类似的减少冗余搜索的设备。然而,研究逻辑编程完全一阶证明过程逻辑类似的不同于决议利益
  • 雅帕

  • 18篇参考文献[ SW0739 ]
  • 微积分,如类似的基于等式的语言逻辑学知识通常表现为…
  • 维利尔

  • 8篇参考文献[SW13522]
  • 设计是整合富人符合逻辑的框架——类似的一个支持…需要大量的补充逻辑语言,所以健全是有保证的。我们建造了…
  • CSLLY

  • 4篇参考文献[ SW099 84]
  • 逻辑比较概念相似性. 这个逻辑比较概念的CSLCSL相似性一直…定性形式相似性概念和/或对象之间的比较。在这逻辑我们可以制定…形成“对象A更”类似的B比C。这种断言…精益,第一定理证明了这一点逻辑. 这是一个直接PROlog实现…
  • CP逻辑

  • 17篇参考文献[SW06947 ]
  • 建立了一定的模型逻辑程序,正式渲染类似的对现有的语言…解释这种概率背后的直觉逻辑程序:我们可以准确地说出哪种知识…
  • 仁叶

  • 28篇参考文献[ SW08982]
  • 逻辑加上基于平坦化技术的函数语言。它不同于其他类似的语言
  • Java+ITP

  • 8篇参考文献[SW32 259]
  • 可扩展模块化改写逻辑编程语言的语义,其中CPS公理化确实是…非常有用,发展同样地可伸缩模块式霍尔逻辑学泛型程序验证…
  • RDEFRA

  • 2篇参考文献[ SW29 166 ]
  • 相关信息。这个包裹如下逻辑 类似的到其他包如水样…
  • DL学习者

  • 7篇参考文献[SW14439 ]
  • 学习者:描述学习的框架逻辑学猫头鹰。猫头鹰是官方的…解决问题类似的对于归纳法逻辑编程DL学习者包括几种学习算法…
  • 冲锋!

  • 9篇参考文献[SW2173]
  • 一种高阶分离的浅嵌入逻辑对于Java的子集…抽象层次类似的笔墨分离逻辑证明大纲。特别地。。。
  • 多媒体数据库管理系统

  • 117篇参考文献[SW0644]
  • 过程(AHP),订单偏好技术相似性对于理想解(TOPSIS),VIαEKrTrIIIJIKSKO KOMPRANDNO…决策矩阵。这些方法使用模糊逻辑将定性属性转换为…
  • 皮塔

  • 17篇参考文献[SW06950]
  • 逻辑带注释的析取(LPAD)、概率对数、棱镜等的程序。这些语言共享一个类似的评价。作为一种完全不同的选择,可能性逻辑程序采用一个更简单的不确定性度量…
  • 急性淋巴细胞白血病

  • 7篇参考文献[ SW21031 ]
  • 计算树逻辑(CTL)中的动作概念类似的但更全面…尼古拉,F.W. Vaandrager,行动对战逻辑学对于过渡系统,in:并发系统的语义…
  • 芬芬

  • 5篇参考文献[ SW28 536]
  • 功能和点式更新,同样地关联列表。里面逻辑他们表现得像普通人一样…
  • 揭示

  • 20篇参考文献[SW0801]
  • 用于验证控制的正确性逻辑相互作用。如果近似证明…按需学习的形式类似的在精神上以冲突为基础的学习在现代布尔…
  • SCTL—MUS

  • 8篇参考文献[SW02245]
  • 系统演化与维护活动类似的系统开发的阶段。整齐。。。该模型是一个多值因果时间逻辑称为简单因果时间逻辑
  • 格列法因夫

  • 2篇参考文献[SW26321]
  • 不同的逻辑学提出。它是基于形式主义的。类似的从…发展到…休伊特)它的能力独立于逻辑并使用微积分。因此…
  • 克辛康

  • 1篇参考文献[ SW099 83]
  • 过对称最小空间。逻辑比较概念CSL相似性已经由Sheremet介绍…捕获一种定性的形式相似性比较。我们在这里给出了一个定理证明,第一定理证明器…最近提出的标记表演算逻辑它的灵感来自于精益…