De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Linking Game-Theoretical Approaches with Constructive Type Theory

Linking Game-Theoretical Approaches with Constructive Type Theory

- Dialogical Strategies, CTT demonstrations and the Axiom of Choice

af Nicolas Clerbout, Shahid Rahman

indgår i SpringerBriefs in Philosophy serien

Linking Game-Theoretical Approaches with Constructive Type Theory af Nicolas Clerbout
Bag om Linking Game-Theoretical Approaches with Constructive Type Theory

This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783319190624
  • Indbinding:
  • Paperback
  • Sideantal:
  • 99
  • Udgivet:
  • 8. juli 2015
  • Udgave:
  • 12015
  • Størrelse:
  • 235x155x7 mm.
  • Vægt:
  • 203 g.
  • 8-11 hverdage.
  • 7. december 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Nicolas Clerbout

Vis alle bøger af Nicolas Clerbout

Beskrivelse af Linking Game-Theoretical Approaches with Constructive Type Theory

This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies.

Brugerbedømmelser af Linking Game-Theoretical Approaches with Constructive Type Theory



Andre købte også..
Find lignende bøger
Bogen Linking Game-Theoretical Approaches with Constructive Type Theory findes i følgende kategorier: