LORIA-INRIA LORIA-CNRS B.P. 239 F-54506 Vandoeuvre-les-Nancy Cedex;
rewriting; termination; innermost; local stra-tegy; rule based language; induction; narrowing; ordering constraint; ELAN;
机译:多主体系统中的防虚假陈述策略
机译:基于双馈感应发电机的风力涡轮机系统的近期控制策略趋势:比较评论
机译:基于新型模糊逻辑的DFIG(双馈感应发电机)驱动的风力发电机系统无传感器最大功率点跟踪策略
机译:- 系统介绍 - Cariboo:终止策略的基于诱导的证明工具
机译:在使用数学计算工具的情况下了解功能,证明和数学建模:中学数学教师及其策略和联系。
机译:使用计算机临床决策支持系统为基于证据的建议量身定制实施策略:GUIDES工具开发协议
机译:基于缩小的超额变量有限重复系统仿真及其终止证明
机译:海军专家系统的知识获取工具和知识表示策略开发。得到教训