An introduction to mechanized reasoning
From MaRDI portal
Publication:504394
DOI10.1016/j.jmateco.2016.06.005zbMath1368.68289arXiv1603.02478MaRDI QIDQ504394
Colin Rowat, Manfred Kerber, Christoph Lange
Publication date: 16 January 2017
Published in: Journal of Mathematical Economics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1603.02478
91B26: Auctions, bargaining, bidding and selling, and other market models
03B35: Mechanization of proofs and logical operations
91B14: Social choice
Uses Software