An economist's guide to mechanized reasoning or My computer just proved 84 impossibility theorems

Manfred Kerber, Christoph Lange, Colin Rowat

Research output: Contribution to conference (unpublished)Other

217 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 25 Jul 2012
EventInitiative for Computational Economics summer school - Chicago, United States
Duration: 25 Jul 2012 → …

Other

OtherInitiative for Computational Economics summer school
Country/TerritoryUnited States
CityChicago
Period25/07/12 → …

Cite this