Markedets billigste bøger
Gratis fragt fra 599,- kr
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. The Clausal Theory of Types

The Clausal Theory of Types

af D. A. (University of Oxford) Wolfram

indgår i Cambridge Tracts in Theoretical Computer Science serien

The Clausal Theory of Types af D. A. (University of Oxford) Wolfram
Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521395380
  • Indbinding:
  • Hardback
  • Sideantal:
  • 134
  • Udgivet:
  • 22. April 1993
  • Størrelse:
  • 177x254x11 mm.
  • Vægt:
  • 406 g.
  Gratis fragt
Leveringstid: 2-3 uger
Forventet levering: 9. Juli 2024

Bag om D. A. (University of Oxford) Wolfram

Vis alle bøger af D. A. (University of Oxford) Wolfram

Beskrivelse af 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.

Brugerbedømmelser af The Clausal Theory of Types



Andre købte også..
Find lignende bøger
Bogen The Clausal Theory of Types findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.