首页> 外文OA文献 >The Control Component of Open Mechanized Reasoning Systems11We especially thank Paolo Pecchiari for his initial contributions to this work, and Carolyn Talcott for contributing to the technical development of the theory.

【2h】

The Control Component of Open Mechanized Reasoning Systems11We especially thank Paolo Pecchiari for his initial contributions to this work, and Carolyn Talcott for contributing to the technical development of the theory.

机译：开放式机械推理系统的控制组件11我们特别感谢Paolo Pecchiari对这项工作的初步贡献，以及Carolyn Talcott为该理论的技术发展做出的贡献。

代理获取

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

页面导航

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

著录项

作者
Armando Alessandro; Coglio Alessandro; Giunchiglia Fausto;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. New Developments in the Framework for Financial Reporting: The Role of National Standard Setters and the Canadian Contribution to Research on Measurement on Initial Recognition and a Framework for Disclosure of Financial Information [J] . Ian P.N. Hague, Karen Jones, Alex Milburn, Journal of International Financial Management & Accounting . 2006,第3期

机译：财务报告框架的新发展：国家标准制定者的作用以及加拿大对初始确认计量研究和加拿大财务信息披露框架的贡献
2. Retina Development in Vertebrates: Systems Biology Approaches to Understanding Genetic Programs On the Contribution of Next-Generation Sequencing Methods to the Characterization of the Regulatory Networks Controlling Vertebrate Eye Development [J] . Buono Lorena, Martinez-Morales Juan-Ramon BioEssays : . 2020,第4期

机译：脊椎动物的视网膜发育：系统生物学方法，以了解遗传计划对下一代测序方法贡献，以控制脊椎动物的监管网络的特征
3. Coordance of the Development Objectives of the Computer-Aided System for Controlling the Electronics Conflict with Opportunities for Its Technical Characteristic Realization in Case of Fuzzy Initial Information [J] . V V. Bakumov, A.I. Kryachkov Telecommunications and Radio Engineering . 2004,第7a12期

机译：在初始信息模糊的情况下，控制具有电子机会的计算机辅助系统的发展目标及其技术特征的实现
4. Development of the SAFE-Cue System Component Mechanizations for Loss of Control Mitigation [C] . Amanda K. Lampton, David H. Klyde, Dongchan Lee, AIAA SciTech forum;AIAA guidance, navigation, and control conference . 2014

机译：开发SAFE-Cue系统组件机械化以减轻控制损失
5. PLC control systems: Operating principles, hardware configuration and closed-loop feedback control system design, featuring the Allen-Bradley SLC 500 Modular Controller Technical Training Workstation and Rockwell Automation RSLogix 500 Project Development Software. [D] . Turner, Jeffrey Robert. 2000

机译：PLC控制系统：操作原理，硬件配置和闭环反馈控制系统设计，具有Allen-Bradley SLC 500模块化控制器技术培训工作站和Rockwell Automation RSLogix 500项目开发软件。
6. Development of GABAergic inputs controls the contribution of maturing neurons to the adult hippocampal network [O] . Yan Li, James B. Aimone, Xiangming Xu, 2012

机译：GABA能量输入的发展控制了成熟神经元对成人海马网络的贡献
7. The Control Component of Open Mechanized Reasoning Systems [O] . A. ARMANDO, COGLIO A., GIUNCHIGLIA F. 1999

机译：开放式机械推理系统的控制组件

The Control Component of Open Mechanized Reasoning Systems11We especially thank Paolo Pecchiari for his initial contributions to this work, and Carolyn Talcott for contributing to the technical development of the theory.

著录项

引文网络

相似文献

相关主题

期刊订阅