Enabling Domain Experts to use Formalised Reasoning: Do-Form, Symposium at the AISB Annual Convention

Manfred Kerber (Editor), Christoph Lange (Editor), Colin Rowat (Editor)

Research output: Other contribution

1 results

Filter

Finished
Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour
Kerber, M. & Rowat, C.
Engineering & Physical Science Research Council
1/05/12 → 30/04/15
Project: Research Councils