Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour

Research output

Research output per year 2012 2013 2015

• 5 Conference contribution
• 3 Article
• 2 Web publication/site
• 1 Other
• 3 More
  • 1 Paper
  • 1 Software
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 2013

  Auction Theory Toolbox

  Lange, C., Rowat, C., Kerber, M., Wenzel, M., Caminati, M., Mossakowski, T. & Windsteiger, W., 13 Jan 2013

  Research output: Non-textual form › Software