Formal representation and proof for cooperative games

Manfred Kerber, Christoph Lange, Colin Rowat

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

126 Downloads (Pure)
Original languageEnglish
Title of host publicationSymposium on Mathematical Practice and Cognition II
EditorsAlison Pease, Brendan Larvor
PublisherSociety for the Study of Artificial Intelligence and Simulation of Behaviour (AISB)
Pages15-18
ISBN (Print)978-1-908187-10-9
Publication statusPublished - 3 Jul 2012
EventAISB Annual Convention 2012 - Birmingham, United Kingdom
Duration: 2 Jul 20123 Jul 2012

Conference

ConferenceAISB Annual Convention 2012
Country/TerritoryUnited Kingdom
CityBirmingham
Period2/07/123/07/12

Cite this