%0 Conference Paper %1 CKLR:ReasoningAuctions14 %A Caminati, Marco B. %A Kerber, Manfred %A Lange, Christoph %A Rowat, Colin %B Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT) %D 2014 %E Bolotov, Alexander %E Kerber, Manfred %K imported %T Reasoning about Auctions

@inproceedings{CKLR:ReasoningAuctions14, added-at = {2017-01-27T23:28:47.000+0100}, author = {Caminati, Marco B. and Kerber, Manfred and Lange, Christoph and Rowat, Colin}, biburl = {https://www.bibsonomy.org/bibtex/29610b68ddc17994b1f67219b953d9467/soeren}, booktitle = {Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT)}, editor = {Bolotov, Alexander and Kerber, Manfred}, eventdate = {2014-07-23/2014-07-24}, file = {2014/ARW_ReasoningAboutAuctions/1.pdf}, interhash = {b983d7304697b8fb20b3f3b401831fbe}, intrahash = {9610b68ddc17994b1f67219b953d9467}, keywords = {imported}, pubs = {projects/formare,clange}, timestamp = {2017-01-27T23:30:12.000+0100}, title = {Reasoning about Auctions}, venue = {Vienna, Austria}, year = 2014 }