首页> 外文OA文献 >Complexity of Some Strategies Proving Theorems in the Propositional Logic (Studies on Computational Complexities and Related Topics)

【2h】

Complexity of Some Strategies Proving Theorems in the Propositional Logic (Studies on Computational Complexities and Related Topics)

机译：命题逻辑中一些策略证明定理的复杂性（关于计算复杂性和相关主题的研究）

代理获取

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

页面导航

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

著录项

作者
YAMASAKI SUSUMU; DOSHITA SHUJI;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Computational complexity of t-norm based propositional fuzzy logics with rational truth constants [J] . Petr Hajek Fuzzy sets and systems . 2006,第5期

机译：基于t模的有理真常数的命题模糊逻辑的计算复杂度
2. Propositional default logics made easier: computational complexity of model checking [J] . Robert Baumgartner, Georg Gottlob Theoretical computer science . 2002,第1期

机译：命题默认逻辑变得更容易：模型检查的计算复杂性
3. The Complexity of Theorem Proving in Autoepistemic Logic [J] . Olaf Beyersdorff Electronic Colloquium on Computational Complexity . 2013,第136期

机译：自认识论逻辑中定理证明的复杂性
4. The Complexity of Theorem Proving in Autoepistemic Logic [C] . Olaf Beyersdorff Theory and application of satisfiability testing - SAT 2013 . 2013

机译：自认识论逻辑证明定理的复杂性
5. ON AUTOMATICALLY GENERATING AND USING EXAMPLES IN A COMPUTATIONAL LOGIC SYSTEM (ARTIFICIAL INTELLIGENCE, THEOREM PROVING, FORMAL REASONING). [D] . KIM, MYUNG WON. 1986

机译：计算逻辑系统中的自动生成和使用示例（人工智能，定理证明，形式推理）。
6. Advancing complexity science in healthcare research: the logic of logic models [O] . Thomas Mills, Rebecca Lawton, Laura Sheard 2019

机译：在医疗保健研究中推进复杂性科学：逻辑模型的逻辑
7. The complexity of theorem proving in autoepistemic logic [O] . Beyersdorff O 2013

机译：自律认知逻辑中定理证明的复杂性
8. The Complexity of Resolution Procedures for Theorem Proving in the Propositional Calculus. [R] . galil, zvi 1975

机译：命题演算中定理证明的解决程序的复杂性。

Complexity of Some Strategies Proving Theorems in the Propositional Logic (Studies on Computational Complexities and Related Topics)

著录项

引文网络

相似文献

相关主题

期刊订阅