Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice
- takbook
- سایر محصولات
- 11th ژانویه 2018
- بدون نظر
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice
Nicolas Clerbout, Shahid Rahman (auth.)…

به نکات زیر توجه کنید