Name: Linking Game-Theoretical Approaches with Constructive Type Theory
Price: 554.95 DKK
Availability: InStock
Author: Nicolas Clerbout
ISBN: 9783319190624

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

Du sparer 0% ift. normalprisen Spar 0%

Paperback
2-3 uger
554,95 kr.

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

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
99

Udgivet:
8. Juli 2015

Udgave:
12015

Størrelse:
235x155x7 mm.

Vægt:
203 g.

Leveringstid: 2-3 uger.
Forventet levering: 20. Juli 2024

På lager

Normalpris

554,95 kr. + Fragt
~~554,95 kr.~~

Medlemspris

504,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Business og læring > Computer og IT

Linking Game-Theoretical Approaches with Constructive Type Theory - Nicolas Clerbout - Bog

Bag om Nicolas Clerbout

Beskrivelse af Linking Game-Theoretical Approaches with Constructive Type Theory

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

Gør som tusindvis af andre bogelskere