1. Forside
  2. Bøger
  3. Engelske bøger
  4. Programmeringssprog og scriptsprog
  5. Matematisk datateori
  6. The Clausal Theory of Types

The Clausal Theory of Types

(Bog, Paperback / softback, Engelsk)
Forfatter: D. A. (University of Oxford) Wolfram
The Clausal Theory of Types
Forlag: Cambridge University Press

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk datateori Programmeringssprog og scriptsprog
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter D. A. (University of Oxford) Wolfram
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 30-07-2009
Første udgivelsesår 2009
Serie Cambridge Tracts in Theoretical Computer Science
Illustrationer Worked examples or Exercises
Originalsprog United Kingdom
Sideantal 136
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 136 pages, Worked examples or Exercises
Mål 244 x 170 x 7
ISBN-13 / EAN-13 9780521117906