Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts
Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts
复制标题
在经济学中应用机械化推理——使推理器适用于领域专家
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Christoph Lange
中科院分区：
文献类型：
--
作者：
Christoph Lange
登录
查看更多内容
在理论经济学的形式化中使用定理
DOI：
--
发表时间：
2011
期刊：
Calculemus/MKM
影响因子：
--
作者：
Manfred Kerber;C. Rowat;W. Windsteiger
通讯作者：
W. Windsteiger
定理 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
形式化阿罗定理
DOI：
10.1007/s12046-009-0005-1
发表时间：
2009
期刊：
Sadhana
影响因子：
--
作者：
M. Wenzel
通讯作者：
M. Wenzel
四个定理证明者对基本拍卖理论适用性的定性比较
DOI：
10.1007/978-3-642-39320-4_13
发表时间：
2013
期刊：
arXiv: Metric Geometry
影响因子：
--
作者：
C. Lange;M. Caminati;Manfred Kerber;Till Mossakowski;C. Rowat;M. Wenzel;W. Windsteiger
通讯作者：
W. Windsteiger