Linking Game-Theoretical Approaches with Constructive Type Theory

Linking Game-Theoretical Approaches with Constructive Type Theory

Shahid RahmanNicolas Clerbout
Linking Game-Theoretical Approaches with Constructive Type Theory
2015ISBN 9783319190624
Viršelis: MinkštasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisMatematika, statistikaGamtos mokslai
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra