-
水獭
- 引用313篇文章[sw02904]
- 当前自动演绎系统水獭是用来证明一阶逻辑中的定理。。。第四代阿贡国家实验室演绎它的祖先(可以追溯到20世纪60年代早期)包括。。。
-
Z
- 引用278篇文章[sw10291]
- 除了自然的演绎微积分,见下文——仅介绍。。。对自然的广泛而乏味的阐述演绎微积分,这不是进一步使用。。。
-
ETPS公司
- 在153篇文章中引用[sw06302号]
- 各种学科的理论,演绎的这些学科的信息系统,专家系统。。。扩展证明,将这些转换为自然演绎证明,构造自然演绎校对,翻译自然演绎... 构建自然环境的TPS交互设施演绎证据被用在。。。
-
伊兰
- 参考文献108篇[sw02179]
- 提供一个用于指定和原型化的环境演绎基于规则的语言系统。。。在逻辑框架中演绎系统可以表达和组合。。。
-
测试程序集
- 引用71篇文章[sw00973]
- 各种学科的理论,演绎的这些学科的信息系统,专家系统。。。扩展证明,将这些转换为自然演绎证明,构造自然演绎校对,翻译自然演绎...