Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2025
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 - D. A. (University of Oxford) Wolfram - Bog

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:
  • 9780521117906
  • Indbinding:
  • Paperback
  • Sideantal:
  • 136
  • Udgivet:
  • 30. juli 2009
  • Størrelse:
  • 170x244x7 mm.
  • Vægt:
  • 230 g.
  • 2-3 uger.
  • 3. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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.