首页> 外文OA文献 >Non-Viability Deductions in Arc-Consistency Computation

【2h】

Non-Viability Deductions in Arc-Consistency Computation

机译：电弧一致性计算中的非生存力推导

页面导航

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

著录项

作者
Camilo Rueda; Frank D. Valencia;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. The Great Formal Machinery Works. Theories of Deduction and Computation at the Origins of the Digital Age [J] . Bellotti L. History and philosophy of logic . 2019,第1期

机译：伟大的正式机械工程。数字时代起源的扣除与计算理论
2. Jan von Plato. The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age. [J] . Lukas M. Verburgt Isis: An International Review Devoted to the History of Science and its Cultural Influences . 2018,第3期

机译：Jan Von Plato。伟大的正式机械工程：数字时代起源的扣除和计算理论。
3. Jan von Plato. The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age. [J] . Lukas M. Verburgt Isis: An International Review Devoted to the History of Science and its Cultural Influences . 2018,第3期

机译：Jan Von Plato。伟大的正式机械工程：数字时代起源的扣除和计算理论。
4. Non-viability Deductions in Arc-Consistency Computation [C] . Camilo Rueda, Frank D. Valencia Logic Programming . 2004

机译：弧一致性计算中的非生存力推导
5. An Exploratory Study on Factors Affecting Private College Non-Viability in Korea. [D] . Choi, Bo Young. 2017

机译：影响韩国私立大学不生存能力的因素的探索性研究。
6. A novel relationship between the radical-scavenging activity of flavonoids and enthalpy of formation revealed with Hartree–Fock computations and thermochemical deduction [O] . Ameha Seyoum Woldu, Joachim Mai 2012

机译：通过Hartree-Fock计算和热化学推论揭示了类黄酮的自由基清除活性与形成焓之间的新关系
7. Special Issue of the Journal of Symbolic Computation onCalculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors [O] . A. ARMANDO, T. JABELEAN 2001

机译：《 Calculemus-99上的符号计算杂志》特刊：计算与演绎的结合-客座编辑的前言
8. Parallelizing the closure computation in automated deduction. [R] . Slaney, J. K., Lusk, E. L. 1989

机译：并行化自动扣除中的闭包计算。

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号