刷新
{{item.name}}会员
U.S.-France Cooperative Research (INRIA): Structuring of Proof Search in the Logic Programming Paradigm
美法合作研究（INRIA）：逻辑编程范式中证明搜索的结构
基本信息
- 批准号：9896139
- 负责人：
- 金额：$ 1.6万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1997
- 资助国家：美国
- 起止时间：1997-09-01 至 1999-08-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Dale Miller其他文献
Corporate heritage brand management: Corporate heritage brands versus contemporary corporate brands
企业传承品牌管理：企业传承品牌与当代企业品牌
- DOI：
10.1057/bm.2015.17 - 发表时间：
2015 - 期刊：
- 影响因子：0
- 作者：
Holly B. Cooper;B. Merrilees;Dale Miller - 通讯作者：
Dale Miller
Rebuilding community corporate brands: A total stakeholder involvement approach
- DOI：
10.1016/j.jbusres.2012.07.010 - 发表时间：
2013-02-01 - 期刊：
- 影响因子：
- 作者：
Dale Miller;Bill Merrilees - 通讯作者：
Bill Merrilees
Culture and marketing strategy in discount retailing
折扣零售的文化与营销策略
- DOI：
10.1016/j.jbusres.2006.10.016 - 发表时间：
2007 - 期刊：
- 影响因子：0
- 作者：
B. Merrilees;B. McKenzie;Dale Miller - 通讯作者：
Dale Miller
City branding: A facilitating framework for stressed satellite cities
- DOI：
10.1016/j.jbusres.2011.07.021 - 发表时间：
2013-01-01 - 期刊：
- 影响因子：
- 作者：
Bill Merrilees;Dale Miller;Carmel Herington - 通讯作者：
Carmel Herington
Conference on Materials for Process Industries
- DOI：
10.1557/s088376940005106x - 发表时间：
1984-06-01 - 期刊：
- 影响因子：4.900
- 作者：
Dale Miller - 通讯作者：
Dale Miller
Dale Miller的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Dale Miller', 18)}}的其他基金
Reasoning About Specifications of Computation
关于计算规范的推理
- 批准号：
9912387 - 财政年份：2000
- 资助金额：
$ 1.6万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Logic-Based Specification and Verification Tools for Concurrent Languages
美法合作研究：基于逻辑的并发语言规范和验证工具
- 批准号：
9815645 - 财政年份：1999
- 资助金额：
$ 1.6万 - 项目类别：
Standard Grant
An Effective Framework for Implementing Derivation Systems
实施推导系统的有效框架
- 批准号：
9803971 - 财政年份：1998
- 资助金额：
$ 1.6万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research (INRIA): Structuring of Proof Search in the Logic Programming Paradigm
美法合作研究（INRIA）：逻辑编程范式中证明搜索的结构
- 批准号：
9412553 - 财政年份：1995
- 资助金额：
$ 1.6万 - 项目类别：
Standard Grant
Analysis and Development of Meta-logics and Logical Frameworks
元逻辑和逻辑框架的分析和开发
- 批准号：
9102753 - 财政年份：1991
- 资助金额：
$ 1.6万 - 项目类别：
Continuing grant
相似海外基金
IRES: U.S.-France Cooperative Research in Engineering Innovative Software Systems with Applications to Maritime Transportation Logistics
IRES：美法合作研究工程创新软件系统及其应用于海上运输物流
- 批准号：
0729792 - 财政年份：2007
- 资助金额：
$ 1.6万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research (INRIA): A Semantic Foundation For C++ based IC/System Design
美法合作研究 (INRIA)：基于 C 的 IC/系统设计的语义基础
- 批准号：
0554678 - 财政年份：2005
- 资助金额：
$ 1.6万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Probing Dynamics in Open Shell Atoms and Molecules using Two Photons Experiments
美法合作研究：利用两个光子实验探测开壳原子和分子的动力学
- 批准号：
0440633 - 财政年份：2005
- 资助金额：
$ 1.6万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Modelling and Interrogation of Cancellous Bone
美法合作研究：松质骨的建模和研究
- 批准号：
0438765 - 财政年份：2005
- 资助金额：
$ 1.6万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Energetics and Conformational Changes of SNARE-mediated Fusion
美法合作研究：SNARE介导的融合的能量学和构象变化
- 批准号：
0437230 - 财政年份：2005
- 资助金额：
$ 1.6万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Transcriptional and Posttranscriptional Regulation of the Sodium Pump
美法合作研究：钠泵的转录和转录后调控
- 批准号：
0340622 - 财政年份：2004
- 资助金额：
$ 1.6万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Genetics and Chemical Ecology of Reticulitermes Termites
美法合作研究：散白蚁的遗传学和化学生态学
- 批准号：
0233238 - 财政年份：2003
- 资助金额：
$ 1.6万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Flows of Grains Down Inclined Channels
美法合作研究：谷物沿着倾斜渠道的流动
- 批准号：
0233212 - 财政年份：2003
- 资助金额：
$ 1.6万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Studies of Model C-H Bond and Si-H Bond Activation Processes on the Surfaces of Large[RG]n and [CH4]n Clusters
美法合作研究：大[RG]n和[CH4]n团簇表面模型C-H键和Si-H键活化过程的研究
- 批准号：
0124920 - 财政年份：2002
- 资助金额：
$ 1.6万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Passivity Based Control of Networked Control Systems
美法合作研究：网络控制系统的无源控制
- 批准号：
0128656 - 财政年份：2002
- 资助金额：
$ 1.6万 - 项目类别：
Standard Grant