Purchase of a High Resolution Nuclear Magnetic Resonance Spectrometer
Purchase of a High Resolution Nuclear Magnetic Resonance Spectrometer
批准号:
6932609
负责人:
金额:
$0.0万
依托单位国家:
美国
项目类别:
财政年份:
1969
资助国家:
美国
项目状态:
已结题
起止时间:
1969-01-01 至 1970-01-01
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
国内基金
海外基金
基于Resolution算法的交互时态逻辑自动验证机
-
批准号:61303018
-
项目类别:青年科学基金项目
-
资助金额:22.0万元
-
批准年份:2013
-
负责人:章岚
-
依托单位: