Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour
Kerber, Manfred
(Principal Investigator)
Rowat, Colin
(Co-Investigator)
Computer Science
Economics
Overview
Fingerprint
Research output
(14)
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
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Other
Search results
2012
An economist's guide to mechanized reasoning or My computer just proved 84 impossibility theorems
Kerber, M.
,
Lange, C.
&
Rowat, C.
,
25 Jul 2012
.
Research output
:
Contribution to conference (unpublished)
›
Other
Open Access
File
281
Downloads (Pure)