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

280 Downloads (Pure)

Original language	English
Publication status	Published - 25 Jul 2012
Event	Initiative for Computational Economics summer school - Chicago, United States Duration: 25 Jul 2012 → …

Other	Initiative for Computational Economics summer school
Country/Territory	United States
City	Chicago
Period	25/07/12 → …

Access to Document

@conference{39d73311201d4b2b86ced6e7252d64f2,

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

author = "Manfred Kerber and Christoph Lange and Colin Rowat",

year = "2012",

month = jul,

day = "25",

language = "English",

note = "Initiative for Computational Economics summer school ; Conference date: 25-07-2012",

}