Enabling Domain Experts to use Formalised Reasoning (2014)
Attributed to:
Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://link.springer.com/journal/11786/8/1/page/1
Type: Monograph
Volume: 8
Issue: 1
ISBN: ISSN 1661-8270