首页> 外文OA文献 >Proving Parameterized Systems: the use of pseudo-pipelines in polyhedral logic

【2h】

Proving Parameterized Systems: the use of pseudo-pipelines in polyhedral logic

机译：证明参数化系统：在多面体逻辑中使用伪管道

代理获取

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

页面导航

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

摘要

ISBN: 3-540-29105-9

机译：书号：3-540-29105-9

著录项

作者
Morin-Allory, Katell; Cachera, David;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Differential Dynamic Logics Automated Theorem Proving for Hybrid Systems [J] . André Platzer KI - Künstliche Intelligenz . 2010,第1期

机译：混合系统的微分动态逻辑自动定理证明
2. Differential Dynamic Logics - Automated Theorem Proving for Hybrid Systems [J] . Andre Platzer Kunstliche Intelligenz . 2010,第1期

机译：微分动态逻辑-混合系统的自动定理证明
3. Formal Verification of C Systems Code Structured Types, Separation Logic and Theorem Proving [J] . Harvey Tuch Journal of Automated Reasoning . 2009,第2a4期

机译：C系统代码结构类型的正式验证，分离逻辑和定理证明
4. Proving Parameterized Systems: The Use of Pseudo-Pipelines in Polyhedral Logic [C] . IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware-Like Design and Verification Methods . 2005

机译：证明参数化系统：在多面体逻辑中使用伪管道
5. ON AUTOMATICALLY GENERATING AND USING EXAMPLES IN A COMPUTATIONAL LOGIC SYSTEM (ARTIFICIAL INTELLIGENCE, THEOREM PROVING, FORMAL REASONING). [D] . KIM, MYUNG WON. 1986

机译：计算逻辑系统中的自动生成和使用示例（人工智能，定理证明，形式推理）。
6. Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic [O] . Iris van de Pol, Iris van Rooij, Jakub Szymanik -1

机译：动态认知逻辑中心理推理理论的参数化复杂性
7. Proving Parameterized Systems: the use of pseudo-pipelines in polyhedral logic [O] . Morin-Allory, K., Cachera, David 1970

机译：证明参数化系统：在多面体逻辑中使用伪管道
8. Automated Theorem Proving in the Theory of Approximate Reasoning, with Applications to Logic Programming and Expert Systems. [R] . Schwartz, D. G. 1991

机译：近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。

Proving Parameterized Systems: the use of pseudo-pipelines in polyhedral logic

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅