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

229 Downloads (Pure)
Filter
Finished

Search results