Sound auction specification and implementation

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Research Projects

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

    Manfred Kerber & Colin Rowat

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/05/1230/04/15

    Project: Research Councils