%0 Conference Paper %1 conf/mkm/0002CKMRWW13 %A Lange, Christoph %A Caminati, Marco B. %A Kerber, Manfred %A Mossakowski, Till %A Rowat, Colin %A Wenzel, Makarius %A Windsteiger, Wolfgang %B MKM/Calculemus/DML %D 2013 %E Carette, Jacques %E Aspinall, David %E Lange, Christoph %E Sojka, Petr %E Windsteiger, Wolfgang %I Springer %K %P 200-215 %T A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. %U http://dblp.uni-trier.de/db/conf/mkm/mkm2013.html#0002CKMRWW13 %V 7961 %@ 978-3-642-39319-8

@inproceedings{conf/mkm/0002CKMRWW13, added-at = {2023-12-12T17:31:28.000+0100}, author = {Lange, Christoph and Caminati, Marco B. and Kerber, Manfred and Mossakowski, Till and Rowat, Colin and Wenzel, Makarius and Windsteiger, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/279d875b5d05ddf8d788e582b12ec48ea/admin}, booktitle = {MKM/Calculemus/DML}, crossref = {conf/mkm/2013}, editor = {Carette, Jacques and Aspinall, David and Lange, Christoph and Sojka, Petr and Windsteiger, Wolfgang}, ee = {https://doi.org/10.1007/978-3-642-39320-4_13}, interhash = {04efea7c104cdd7b72f7a82bf7c4a86f}, intrahash = {79d875b5d05ddf8d788e582b12ec48ea}, isbn = {978-3-642-39319-8}, keywords = {}, pages = {200-215}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:31:28.000+0100}, title = {A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.}, url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2013.html#0002CKMRWW13}, volume = 7961, year = 2013 }