A Formal Theory of Cooperative TU-Games

DOI10.1007/978-3-642-04820-3_8zbMath1273.91030OpenAlexW1576990051MaRDI QIDQ3652098

Érik Martin-Dorel, M. Ventou, Annick Truffert, Marc Daumas

Publication date: 17 December 2009

Published in: Modeling Decisions for Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04820-3_8

zbMATH Keywords

cooperative gamesformalizationautomated proof checker

Mathematics Subject Classification ID

Cooperative games (91A12)

This page was built for publication: A Formal Theory of Cooperative TU-Games