Linking Game-Theoretical Approaches with Constructive Type Theory
Nicolas Clerbout Shahid Rahman
Linking Game-Theoretical Approaches with Constructive Type Theory - Springer Springer 2015
9783319190631
EBOOK
Linking Game-Theoretical Approaches with Constructive Type Theory - Springer Springer 2015
9783319190631
EBOOK
