%0 Generic %1 HundredTheoremsEconomics %A Rowat, Colin %A Lange, Christoph %A Kerber, Manfred %D 2012 %K imported %T Formalising ``100'' Theorems/Models/Theories in Economics %U http://cs.bham.ac.uk/research/projects/formare/planetary/content/100-theorems

@online{HundredTheoremsEconomics, added-at = {2017-01-27T23:28:47.000+0100}, author = {Rowat, Colin and Lange, Christoph and Kerber, Manfred}, bdsk-url-1 = {http://cs.bham.ac.uk/research/projects/formare/planetary/content/100-theorems}, biburl = {https://www.bibsonomy.org/bibtex/2cac4dd0f1f7fdba8389fbc48180164ad/soeren}, interhash = {765eafb3366b0227376544244b4ec2e2}, intrahash = {cac4dd0f1f7fdba8389fbc48180164ad}, keywords = {imported}, pubs = {clange,projects/formare}, timestamp = {2017-01-27T23:30:12.000+0100}, title = {Formalising ``100'' Theorems/\allowbreak Models/\allowbreak Theories in Economics}, url = {http://cs.bham.ac.uk/research/projects/formare/planetary/content/100-theorems}, urldate = {2013-02-21}, year = 2012 }