Computing finite models by reduction to function-free clause logic

机译：通过简化为无函数子句逻辑来计算有限模型

代理获取

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

页面导航

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

著录项

作者
Baumgartner Peter; Fuchs Alexander; de Nivelle Hans; Tinelli Cesare;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Computing Finite Models By Reduction To Function-free Clause Logic [J] . Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Journal of Applied Logic . 2009,第1期

机译：通过简化为无功能子句逻辑来计算有限模型
2. Computability of validity and satisfiability in probability logics over finite and countable models [J] . Greg Yang Journal of applied non-classical logics . 2015,第4期

机译：有限和可数模型上概率逻辑的有效性和可满足性的可计算性
3. A finite element method (FEM) - Fuzzy logic (Soft Computing) - virtual reality model approach in a coalface longwall mining simulation [J] . Javier Torano, Isidro Diego, Mario Menendez, Automation in construction . 2008,第4期

机译：采煤工作面长壁开采模拟中的有限元（FEM）-模糊逻辑（软计算）-虚拟现实模型方法。
4. Computing Stable Models via Reductions to Difference Logic [C] . Tomi Janhunen, Ilkka Niemelae, Mark Sevalnev Logic programming and nonmonotonic reasoning . 2009

机译：通过简化差分逻辑来计算稳定模型
5. Analysis, Design, and Logic Synthesis of Finite-state Machine-based Stochastic Computing. [D] . Li, Peng. 2013

机译：基于有限状态机的随机计算的分析，设计和逻辑综合。
6. Three-dimensional computational model simulating the fracture healing process with both biphasic poroelastic finite element analysis and fuzzy logic control [O] . Monan Wang, Ning Yang -1

机译：三维计算模型通过双相多孔弹性有限元分析和模糊逻辑控制模拟骨折愈合过程
7. Computing finite models by reduction to function-free clause logic [O] . Peter Baumgartner, Alexander Fuchs, Hans De Nivelle, 2007

机译：通过简化为无函数子句逻辑来计算有限模型

Computing finite models by reduction to function-free clause logic

著录项

引文网络

相似文献

相关主题

期刊订阅