首页> 外文OA文献 >Reflection and Strategies in Rewriting Logic11Supported by Office of Naval Research Contracts N00014-95-C-0225 and N00014-96-C-0114, National Science Foundation Grant CCR-9224005, and by the Information Technology Promotion Agency, Japan, as a part of the Industrial Science and Technology Frontier Program “New Models for Software Architecture” sponsored by NEDO (New Energy and Industrial Technology Development Organization).

【2h】

Reflection and Strategies in Rewriting Logic11Supported by Office of Naval Research Contracts N00014-95-C-0225 and N00014-96-C-0114, National Science Foundation Grant CCR-9224005, and by the Information Technology Promotion Agency, Japan, as a part of the Industrial Science and Technology Frontier Program “New Models for Software Architecture” sponsored by NEDO (New Energy and Industrial Technology Development Organization).

机译：重写逻辑中的反思和策略11受海军研究合同办公室N00014-95-C-0225和N00014-96-C-0114，美国国家科学基金会拨款CCR-9224005的支持以及日本信息技术促进局的支持，作为工业科学技术的一部分由NEDO（新能源和工业技术开发组织）赞助的前沿计划“软件体系结构的新模型”。

代理获取

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

页面导航

著录项
相似文献
相关主题

著录项

作者
Clavel Manuel; Mes eguer José;
展开▼
作者单位

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

相似文献

外文文献

1. Introduction of a national research project - "micromachine technology" based on the industrial science and technology frontier program under METI [J] . Kazuhiro Homma, Yuichi Ishikawa 日本ロボット学会誌 . 2001,第3期

机译：根据经济产业省的产业科学和技术前沿计划，引入了一项国家研究项目“微机技术”
2. Introduction of a national research project - "micromachine technology" based on the industrial science and technology frontier program under METI [J] . Kazuhiro Homma, Yuichi Ishikawa 日本ロボット学会誌 . 2001,第3期

机译：基于Meti下的工业科学和技术前沿计划的国家研究项目 - “微机械技术”
3. FGFR3 overexpression is prognostic of adverse outcome for muscle-invasive bladder carcinoma treated with adjuvant chemotherapy11This work was supported by Grant CB-2011-04-01 from Korean Foundation for Cancer Research grant and by a Global Frontier Project Grant (NRF-M1AXA002-2010-0029795) of the National Research Foundation funded by the Ministry of Education, Science and Technology of [J] . Urologic oncology . 2014,第1期

机译：FGFR3过表达可预示辅助化疗治疗的肌肉浸润性膀胱癌不良预后11。这项工作得到了韩国癌症研究基金会的Grant CB-2011-04-01和全球前沿项目拨款（NRF-M1AXA002-2010-教育科学技术部资助的国家研究基金会（0029795）
4. Investigating Variational Phase-Amplitude Coupling in EEG-based Emotion Recognition**This study is supported by the National Natural Science Foundation of China (Grant No. 62001026), and the Beijing Institute of Technology Research Fund Program for Young Scholars (Grant No. 3050012222022). [C] . Chuting Zhang, Wenbin Shi, Chien-Hung Yeh International IEEE/EMBS Conference on Neural Engineering . 2021

机译：调查基于EEG的情感识别中的变分相位振幅耦合**本研究得到了中国国家自然科学基金（Grant No.62001026）的支持，以及北京技术研究基金计划的青年学者（Grant No.305001222022 ）。
5. Behavioral and Coinductive Rewriting (invited talk)11The research reported in this paper has been supported in part by National Science Foundation grant CCR-9901002, and by the CafeOBJ project of the Information Promotion Agency (IPA), Japan, as part of its Advanced Software Technology Program.Note: all papers by the authors can be found on their websites, which respectively have the URLs http://www.ucsd.edu/users/{goguen, klin, grosu}. More information on the BOBJ system can be found at http://www.ucsd.edu/groups/tatami/bobj/.Note: all papers by the authors can be found on their websites, which respectively have the URLs www.ucsd.edu/users/{goguen, klin, grosu}. More information on the BOBJ system can be found at www.ucsd.edu/groups/tatami/bobj/. [O] . Goguen Joseph, Lin Kai, Roşu Grigore 2000

机译：行为和归纳重写（特邀演讲）11本文报道的研究得到了美国国家科学基金会（National Science Foundation）资助CCR-9901002以及日本信息促进局（IPA）的CafeOBJ项目的部分支持，这是其高级软件技术计划的一部分。可以在他们的网站（网址分别为http://www.ucsd.edu/users/{goguen，klin，grosu}）上找到作者。有关BOBJ系统的更多信息，请访问http://www.ucsd.edu/groups/tatami/bobj/。注意：作者的所有论文都可以在其网站上找到，它们的网址分别为www.ucsd。 edu / users / {goguen，klin，grosu}。有关BOBJ系统的更多信息，请访问www.ucsd.edu/groups/tatami/bobj/。

著录项

相似文献

相关主题

期刊订阅