首页> 外文OA文献 >A Tableau Calculus for Combining Non-Disjoint Theories

【2h】

A Tableau Calculus for Combining Non-Disjoint Theories

机译：用于组合非不相交理论的Tableau微积分

页面导航

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

著录项

作者
Calogero G. Zarba;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An analytic tableau calculus for a temporalised belief logic [J] . Ji Ma, Mehmet A. Orgun, Kamel Adi Journal of Applied Logic . 2011,第4期

机译：时序信念逻辑的解析表演算
2. A Tableau Calculus for Minimal Modal Model Generation [J] . Fabio Papacchini, Renate A. Schmidt Electronic Notes in Theoretical Computer Science . 2011,第1期

机译：用于最小模态模型生成的Tableau微积分
3. Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus [J] . Fiorino G. Information Sciences: An International Journal . 2010,第19期

机译：基于多前提Table演算的命题Dummett逻辑的快速决策过程
4. A Tableau Calculus for Combining Non-disjoint Theories [C] . Calogero G. Zarba Automated Reasoning with Analytic Tableaux and Related Methods . 2002

机译：结合不相交理论的Tableau微积分
5. Combining phylogenetic rarity with species distribution and abundance for conservation: Applying the 'calculus of biodiversity' in Canadian butterflies. [D] . Tulen, Lisa A. 2006

机译：将系统发育稀有性与物种分布和丰富性相结合，以进行保护：在加拿大蝴蝶中应用“生物多样性演算”。
6. Theory of Transversal Curves and the Connections Between the Calculus of Variations and the Theory of Partial Differential Equations [O] . M. Herzberger 1938

机译：横向曲线理论以及变分微积分与偏微分方程理论之间的联系
7. A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning [O] . Domenico Cantone, Calogero G. Zarba, Viale A. Doria 2000

机译：结合一阶和基本集理论推理的Tableau微积分

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号