Clerbout, Nicolas (Autor)
Rahman, Shahid (Autor)
Linking Game-Theoretical Approaches with Constructive Type Theory
Dialogical Strategies, CTT demonstrations and the Axiom of Choice
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-319-19063-1 |
|---|---|
| Seitenzahl | 118 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 3446 Kbytes |