Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Linking Game-Theoretical Approaches with Constructive Type Theory, Fachbücher von Nicolas Clerbout, Shahid Rahman
Galaxus.de
26-07-2026 08:28:37
Gesponsert
Medimops DE
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (SpringerBriefs in Philosophy)
Medimops DE
26-07-2026 00:58:52
Gesponsert
SpringerLink DE
Linking Game-Theoretical Approaches with Constructive Type Theory
SpringerLink DE
26-07-2026 08:57:26
Ähnliche Produkte
E-raptor - Tokens für Brass
17.99 EUR
E-raptor - Tokens für Brass
19.90 CHF