首页> 外文OA文献 >Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND

【2h】

Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND

机译：正常条件逻辑的嵌套搜索结算和定理证明：定理箴言捏

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Nicola Olivetti; Gian Luca Pozzato;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND [J] . Nicola Olivetti, Gian Luca Pozzato Intelligenza Artificiale . 2015,第2期

机译：正常条件逻辑的嵌套后续演算和定理证明：定理证明者NESCOND
2. Nested sequent calculi for normal conditional logics [J] . Alenda Regis, Olivetti Nicola, Pozzato Gian Luca Journal of logic and computation . 2016,第1期

机译：正常条件逻辑的嵌套顺序计算
3. Reasoning about conditional probabilities in a higher-order-logic theorem prover [J] . Osman Hasan, Sofiene Tahar Journal of Applied Logic . 2011,第1期

机译：高阶逻辑定理证明者中条件概率的推理
4. NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics [C] . Nicola Olivetti, Gian Luca Pozzato Automated reasoning . 2014

机译：NESCOND：条件逻辑嵌套式顺序计算的实现
5. Automated theorem proving by translation to description logic. [D] . Arhami, Negin. 2015

机译：通过翻译成描述逻辑来自动证明定理。
6. A theorem proving approach for automatically synthesizing visualizations of flow cytometry data [O] . Sunny Raj, Faraz Hussain, Zubir Husein, 2017

机译：自动合成流式细胞仪数据可视化的定理证明方法
7. NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics [O] . Nicola Olivetti, Gian Luca Pozzato 2014

机译：nescond：条件逻辑的嵌套搜索结石的实现

Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND

著录项

引文网络

相似文献

相关主题

期刊订阅