• 伊莎贝尔

  • 576篇参考文献[SW044]
  • 在A中证明这些公式符合逻辑的微积分。主要应用数学的形式化了吗?
  • 莫德

  • 647篇参考文献[SW06263]
  • 重写逻辑广泛的规格和编程应用. Maude已经受到影响…可以看作是等式逻辑副语言。除了支持等式规范和编程…
  • 水獭

  • 312篇参考文献[SW02904]
  • 证明一阶定理逻辑平等的。水獭的推理规则是基于…主要应用水獭是抽象代数和形式化的研究。逻辑. 水獭。。。
  • 数据记录仪

  • 275篇参考文献[ SW200 23 ]
  • DATALOG是一种声明性的。逻辑语法上的编程语言是PROlog的子集…近年来,DATALOX发现了新的数据。应用在数据集成、信息提取、网络化、程序分析等方面…起源可以追溯到逻辑编程,但它变得突出…
  • 基辅

  • 50篇参考文献[SW10060]
  • 使用用户可定义的对象逻辑. 主要应用依靠动态的定义…
  • 聚苯硫醚

  • 89篇参考文献[SW05357]
  • 软件组件。电流应用跨越势在必行,功能性和逻辑语言、同步语言和同步协议…使他们的用法有问题,特别是在批评中应用. 此外,对多面体的支持不足。
  • 伊莎贝尔/ZF

  • 60篇参考文献[SW0493]
  • 在A中证明这些公式符合逻辑的微积分。主要应用数学的形式化了吗?
  • 莫纳

  • 116篇参考文献[SW06170]
  • 逻辑学WS1S和WS2S。应用这是非常显著的…约化,DAGification,引导树自动机,三值逻辑,急切最小化,基于BDD的自动机表示…
  • KL-酮

  • 38篇参考文献[SW28 891]
  • 逻辑学程序(如命题动态)逻辑对于哪些表格程序已经相当…不同的底层直觉和应用,大多数描述逻辑学与磨机有很大区别…
  • 帕拉米什

  • 95篇参考文献[SW0677]
  • 计算模型的类,那些使用结构化的,逻辑上笛卡尔网格。FORTRAN软件包…被称为PARAMESH,旨在提供一个应用开发人员与一个简单的路线扩展…现有串行代码使用逻辑上将笛卡尔结构网格与…
  • 多媒体数据库管理系统

  • 114篇参考文献[SW0644]
  • 方法介绍概念和细节。应用MADM方法。一系列方法…决策矩阵。这些方法使用模糊逻辑将定性属性转换为…属性,由不同的真实世界支持应用例子。此外,计算机代码AHP,TOPSIS…
  • 酸柠檬

  • 26篇参考文献[SW09425]
  • 发展应用表现出主机的物理移动性,符合逻辑的代理的流动性,或两者兼而有之…实现快速可靠的移动开发应用. 在本文中,我们说明了模型…
  • 奥普塔普

  • 13篇参考文献[SW1383]
  • 高级的、声明性的编程方法。逻辑程序设计为隐式并行提供了巨大的潜力,因此…程序员干预。我们相信复杂应用这需要几个小时,如果不是几天…分辨率——往往限制了逻辑编程范例。因此,过去的几年…逻辑程序的范围应用逻辑编程可以增加…
  • 埃兰

  • 108篇参考文献[SW02179]
  • 支持定理证明器的设计,逻辑编程语言,约束求解器和决策程序…程序员指定规则的控制应用. 这与许多现有的对比…他们通过改写规则。战略评价应用它本身是基于改写…已知的重写范式同时提供了符合逻辑的演绎系统的框架…
  • 红木

  • 155篇参考文献[SW04250]
  • 计算机代数系统简化为计算机逻辑系统,即提供算法的系统…利用它。我们举例说明应用ReLoG,描述它的功能…
  • 克罗诺斯

  • 256篇参考文献[SW01270]
  • 往往是复杂安全关键的一部分应用比如飞机的航空电子设备,这是非常困难的…实时表达逻辑TCTL…
  • IMPS

  • 48篇参考文献[SW09143]
  • 部分逻辑代数和分析,为建模提供了一些支持。应用在电脑里…
  • 桌面

  • 17篇参考文献[SW11674]
  • 这些最吸引人的特点逻辑学为了可能应用在计算机科学中…
  • 电除尘器

  • 151篇参考文献[SW06302]
  • 一阶自动定理证明器逻辑类型理论。后者…在Windows下的某种程度上。潜力应用自动定理证明包括硬件和软件验证。一阶与高阶定理的证明逻辑交互地、自动地或混合地…