Markedets billigste bøger
Levering: 1 - 2 hverdage
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.
Leveringstid: 2-3 uger
Forventet levering: 2. Juli 2024

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



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.