Developing an Auction Theory Toolbox
Developing an Auction Theory Toolbox
复制标题
开发拍卖理论工具箱
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
Christoph Lange (Author)
中科院分区：
文献类型：
--
作者：
Christoph Lange (Author)
登录
查看更多内容
定理 2.0：数学辅助系统的图形用户界面
DOI：
10.4204/eptcs.118.5
发表时间：
2013
期刊：
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
影响因子：
--
作者：
W. Windsteiger
通讯作者：
W. Windsteiger
自动搜索社会选择理论中的不可能性定理：对对象集进行排名
DOI：
10.1613/jair.3126
发表时间：
2014
期刊：
J. Artif. Intell. Res.
影响因子：
--
作者：
Christian Geist;Ulrich Endriss
通讯作者：
Ulrich Endriss
HOL 中的社会选择理论
DOI：
10.1007/s10817-009-9147-4
发表时间：
2009
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
T. Nipkow
通讯作者：
T. Nipkow
DOI：
10.1111/j.1542-4774.2010.tb00523.x
发表时间：
2010-04-01
影响因子：
3.6
作者：
Klemperer, Paul
通讯作者：
Klemperer, Paul
形式化阿罗定理
DOI：
10.1007/s12046-009-0005-1
发表时间：
2009
期刊：
Sadhana
影响因子：
--
作者：
M. Wenzel
通讯作者：
M. Wenzel