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

220 Downloads (Pure)

Search results