Items where Author is "Mossakowski, Till"

Contribution in Book/Report/Proceedings

Lange, Christoph and Caminati, Marco B and Kerber, Manfred and Mossakowski, Till and Rowat, Colin and Wenzel, Makarius and Windsteiger, Wolfgang (2013) A qualitative comparison of the suitability of four theorem provers for basic auction theory. In: Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings 6 :. Springer, pp. 200-215. ISBN 978-3-642-39319-8

Other

Lange, Christoph and Rowat, Colin and Kerber, Manfred and Wenzel, Makarius and Caminati, Marco and Mossakowski, Till and Windsteiger, Wolfgang (2013) Auction Theory Toolbox. UNSPECIFIED.