bokomslag The Clausal Theory of Types
Data & IT

The Clausal Theory of Types

D A Wolfram D A Wolfram

Inbunden

1229:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Denna produkt går inte att reservera, köp den gärna online!

Andra format:

  • 134 sidor
  • 1993
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
  • Författare: D A Wolfram, D A Wolfram
  • Format: Inbunden
  • ISBN: 9780521395380
  • Språk: Engelska
  • Antal sidor: 134
  • Utgivningsdatum: 1993-04-22
  • Förlag: Cambridge University Press