首页> 外文OA文献 >Implementing CLP(B) using the Connection Theorem Proving Method and a Clause Management Systems

【2h】

Implementing CLP(B) using the Connection Theorem Proving Method and a Clause Management Systems

机译：使用连接定理证明方法和条款管理系统实现CLP（B）

代理获取

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

页面导航

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

著录项

作者
Sidebottom Greg;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Multivariate methods in enterprise system implementation, risk management and change management [J] . Ron S. Kenett, Orit Raphaeli International journal of risk assessment and management . 2008,第3期

机译：企业系统实施，风险管理和变更管理中的多元方法
2. Development methods of implementing analytical management information systems for technological monitoring of complex industrial purposes [J] . Ali F. Dalain International journal of computer science and network security . 2019,第4期

机译：实施分析管理信息系统以进行复杂工业目的技术监视的开发方法
3. Quality And Environmental Management Systems In Polish Shipbuilding Industry - Methods Of Implementation [J] . L. Wolska, J. Namiesnik Polish Journal of Environmental Studies. . 2007,第3期

机译：波兰造船业的质量和环境管理体系-实施方法
4. Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic [C] . Jens Otten International Conference on Automated Reasoning with Analytic Tableaux and Related Methods(TABLEAUX 2005); 20050914-17; Koblenz(DE) . 2005

机译：直觉一阶逻辑中基于子句连接的定理证明
5. Contributions to automated theorem proving and formal methods with applications to control systems. [D] . Mackling, Thomas Hal. 1997

机译：对自动定理证明和形式方法以及对控制系统的应用做出了贡献。
6. Barriers and facilitators to implementation of epilepsy self-management programs: a systematic review using qualitative evidence synthesis methods [O] . Allison A. Lewinski, Abigail Shapiro, Jennifer M. Gierisch, 2020

机译：实施癫痫自我管理计划的障碍和促进者：使用定性证据综合方法的系统评价
7. lolliCoP - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic [O] . Joshua S. Hodas, Naoyuki Tamura 2001

机译：lolliCoP-一阶经典逻辑的精益连接方法定理证明的线性逻辑实现
8. Knowledge representation by connection matrices: A method for the on-board implementation of large expert systems [R] . Kellner, A. 1987

机译：连接矩阵的知识表示：大型专家系统的机载实现方法

Implementing CLP(B) using the Connection Theorem Proving Method and a Clause Management Systems

著录项

引文网络

相似文献

相关主题

期刊订阅