Cover of Linking Game-Theoretical Approaches with Constructive Type Theory : Dialogical Strategies, CTT demonstrations and the Axiom of Choice by Clerbout, Nicolas, Rahman, Shahid, ISBN 9783319190624
Game Theory

Linking Game-Theoretical Approaches with Constructive Type Theory : Dialogical Strategies, CTT demonstrations and the Axiom of Choice

LINKING GAME-THEORETICAL APPRO

Contributor(s): Author , Author Format: Paperback

Paperback ยท ISBN 9783319190624

โ‚น5,675 2%
โ‚น5,804

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9783319190624
Subtitle LINKING GAME-THEORETICAL APPRO
Publisher Springer
Publication date July 2015
Language English
MRP ยฃ44.99 GBP
Page count 124
Item weight 41 g

Linking Game-Theoretical Approaches with Constructive Type Theory : Dialogical Strategies, CTT demonstrations and the Axiom of Choice published by Springer.