%0 Generic %1 KLR:EconomistsMechanizedReasoning12 %A Kerber, Manfred %A Lange, Christoph %A Rowat, Colin %D 2012 %E Judd, Kenneth %K invited-talk %T An economist's guide to mechanized reasoning or My computer just proved 84 impossibility theorems %U http://cs.bham.ac.uk/research/projects/formare/pubs/ice2012/2012-07-25-ice-mech-reas-econ.pdf

@misc{KLR:EconomistsMechanizedReasoning12, added-at = {2017-01-27T23:28:47.000+0100}, author = {Kerber, Manfred and Lange, Christoph and Rowat, Colin}, bdsk-url-1 = {http://cs.bham.ac.uk/research/projects/formare/pubs/ice2012/2012-07-25-ice-mech-reas-econ.pdf}, biburl = {https://www.bibsonomy.org/bibtex/29f8055f35e319261380aaeba4389163b/soeren}, editor = {Judd, Kenneth}, interhash = {41c36792e4d7b72594f6b3db09697d6a}, intrahash = {9f8055f35e319261380aaeba4389163b}, keywords = {invited-talk}, note = {Invited lecture at the Initiative for Computational Economics summer school}, pubs = {clange,projects/formare}, timestamp = {2017-01-27T23:30:12.000+0100}, title = {An economist's guide to mechanized reasoning or {My} computer just proved 84 impossibility theorems}, url = {http://cs.bham.ac.uk/research/projects/formare/pubs/ice2012/2012-07-25-ice-mech-reas-econ.pdf}, venue = {Chicago, US}, year = 2012 }