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, Hardback, 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 Hardback
Sprog Engelsk
Udgivelsesdato 22-04-1993
Første udgivelsesår 1993
Serie Cambridge Tracts in Theoretical Computer Science
Originalsprog United Kingdom
Sideantal 134
Indbinding Hardback
Forlag Cambridge University Press
Sideoplysninger 134 pages
Mål 254 x 177 x 11
ISBN-13 / EAN-13 9780521395380