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

1 Second International Workshop on Proof Exchange for Theorem Proving

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

举办国: GB

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

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

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

举办国: GB

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

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

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

举办国: GB

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

4 Second International Workshop on Proof Exchange for Theorem Proving

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

举办国: GB

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

5 The 35th World Nuclear Association Annual Symposium

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

举办国: GB

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

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

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

举办国: GB

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

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

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

举办国: GB

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

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

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

举办国: GB

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

9 The 36th World Nuclear Association Annual Symposium

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

举办国: GB

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