• 已选条件：
  • GB×
全选【会议(录) 符合条件的数据共：9条】

1 Second International Workshop on Proof Exchange for Theorem Proving

会议主题: 计算机科学（综合）

举办国: GB

会议文献列表  |   [ 浏览：413]    

2 Second International Workshop on Proof Exchange for Theorem Proving

会议主题: 计算机科学（综合）

举办国: GB

会议文献列表  |   [ 浏览：391]    

3 The 36th World Nuclear Association Annual Symposium

会议主题: 原子能学, 武器工业

举办国: GB

会议文献列表  |   [ 浏览：607]    

4 The 35th World Nuclear Association Annual Symposium

会议主题: 原子能学, 武器工业

举办国: GB

会议文献列表  |   [ 浏览：419]    

5 10th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems

会议主题: 计算机科学（综合）

举办国: GB

会议文献列表  |   [ 浏览：477]    

6 1st International Workshop on Sentiment Discovery from Affective Data (SDAD 2012)

会议主题: 计算机科学（综合）

举办国: GB

会议文献列表  |   [ 浏览：1619]    

7 1st International Workshop on Sentiment Discovery from Affective Data (SDAD 2012)

会议主题: 计算机科学（综合）

举办国: GB

会议文献列表  |   [ 浏览：442]    

8 1st International Workshop on OWL Reasoner Evaluation (ORE-2012); 6th International Joint Conference on Automated Reasoning (IJCAR-2012)

会议主题: 计算机科学（综合）

举办国: GB

会议文献列表  |   [ 浏览：424]    

9 1st International Workshop on OWL Reasoner Evaluation (ORE-2012); 6th International Joint Conference on Automated Reasoning (IJCAR-2012)

会议主题: 计算机科学（综合）

举办国: GB

会议文献列表  |   [ 浏览：446]