Black November: Store besparelser hele måneden Vi feirer Black Friday gjennom hele november måned med store besparelser
Utvidet returrett til 31. januar 2025
Hjelp
Logg inn
  1. Hjem
  2. Bøker
  3. Bedrift og læring
  4. Data og IT
  5. The Clausal Theory of Types

The Clausal Theory of Types

av D. A. (University of Oxford) Wolfram

del av Cambridge Tracts in Theoretical Computer Science-serien

The Clausal Theory of Types av D. A. (University of Oxford) Wolfram
Om The Clausal Theory of Types

In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780521117906
  • Bindende:
  • Paperback
  • Sider:
  • 136
  • Utgitt:
  • 30. juli 2009
  • Dimensjoner:
  • 170x244x7 mm.
  • Vekt:
  • 230 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 11. desember 2024

Om D. A. (University of Oxford) Wolfram

Se alle bøkene av D. A. (University of Oxford) Wolfram

Beskrivelse av The Clausal Theory of Types

In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.

Brukervurderinger av The Clausal Theory of Types



Andre har også kjøpt..
Finn lignende bøker
Boken The Clausal Theory of Types finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.