Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
Extensional Constructs in Intensional Type Theory
indgår i Distinguished Dissertations serien
- Indbinding:
- Paperback
- Sideantal:
- 216
- Udgivet:
- 22. September 2011
- Udgave:
- 11997
- Størrelse:
- 234x156x12 mm.
- Vægt:
- 359 g.
Gratis fragt
Leveringstid:
2-3 uger
Forventet levering: 5. Juni 2024
Beskrivelse af Extensional Constructs in Intensional Type Theory
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification).
Brugerbedømmelser af Extensional Constructs in Intensional Type Theory
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Extensional Constructs in Intensional Type Theory findes i følgende kategorier:
Du kan altid afmelde dig igen.
© 2024 Bogreolen.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
