Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & 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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780521117906
  • Format:
  • Häftad
  • Sidor:
  • 136
  • Utgiven:
  • 30. juli 2009
  • Mått:
  • 170x244x7 mm.
  • Vikt:
  • 230 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 10. december 2024

Om D. A. (University of Oxford) Wolfram

Se alla böcker av D. A. (University of Oxford) Wolfram

Beskrivning 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.

Användarnas betyg av The Clausal Theory of Types



Andra köpte även...
Hitta liknande böcker
Boken The Clausal Theory of Types finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.