全选【会议(录) 符合条件的数据共：49条】

1 Dagstuhl Seminar Proceedings 10421

会议主题: 计算机科学（综合）, 物理（综合）, 数学（综合）

会议年份: 2010

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

2 Empirically Successful Automated Reasoning in Mathematics 2008:Proceedings of the CICM Workshop on Empirically Successful Automated Reasoning in Mathematics (ESARM-2008), Birmingham, United Kingdom, July 27, 2008.

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

会议年份: 2008

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

3 Dagstuhl Seminar Proceedings 10412

会议主题: 计算机科学（综合）, 物理（综合）, 数学（综合）

会议年份: 2010

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

4 Dagstuhl Seminar Proceedings 10402

会议主题: 计算机科学（综合）, 物理（综合）, 数学（综合）

会议年份: 2010

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

5 Dagstuhl Seminar Proceedings 10102

会议主题: 计算机科学（综合）, 物理（综合）, 数学（综合）

会议年份: 2010

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

6 Dagstuhl Seminar Proceedings 10372

会议主题: 计算机科学（综合）, 物理（综合）, 数学（综合）

会议年份: 2010

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

7 Dagstuhl Seminar Proceedings 10131

会议主题: 计算机科学（综合）, 物理（综合）, 数学（综合）

会议年份: 2010

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

8 22nd Annual ACM-SIAM Symposium on Discrete Algorithms

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

举办国: FR

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

9 Dagstuhl Seminar Proceedings 10373

会议主题: 计算机科学（综合）, 物理（综合）, 数学（综合）

会议年份: 2010

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

10 Proceedings of the Second Workshop on Agreement Technologies (WAT-2009), Sevilla, Spain, November 9, 2009.

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

会议年份: 2011

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