شماره ركورد
54533
شماره مدرك
4393986
نويسنده/تنالگان
Nicolas Clerbout
عنوان
Linking Game-Theoretical Approaches with Constructive Type Theory
اطلاعات نشر
Springer
سال نشر
2015
شابك
9783319190631 ; 9783319190631 ; 9783319190631 ; 9783319190631 ; 9783319190631 ; 9783319190624 ; 9783319190624 ; 9783319190624 ; 9783319190624 ; 9783319190624
Link To Document