Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Type-theoretical Grammar

Type-theoretical Grammar

av Aarne (Department of Philosophy Ranta

del av Indices-serien

Type-theoretical Grammar av Aarne (Department of Philosophy Ranta
Om Type-theoretical Grammar

BL First book to apply type theory to natural languagePer Martin Lof first presented constructive type theory in 1970 and it has become intrinsic to the foundations of mathematics and computer science. This book is the first to take an in-depth look at the theory from the point of view of linguistics and the philosophy of language.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780198538578
  • Format:
  • Inbunden
  • Sidor:
  • 238
  • Utgiven:
  • 5. januari 1995
  • Mått:
  • 162x241x18 mm.
  • Vikt:
  • 494 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 4. februari 2025

Om Aarne (Department of Philosophy Ranta

Se alla böcker av Aarne (Department of Philosophy Ranta

Beskrivning av Type-theoretical Grammar

BL First book to apply type theory to natural languagePer Martin Lof first presented constructive type theory in 1970 and it has become intrinsic to the foundations of mathematics and computer science. This book is the first to take an in-depth look at the theory from the point of view of linguistics and the philosophy of language.

Användarnas betyg av Type-theoretical Grammar



Andra köpte även...
Hitta liknande böcker
Boken Type-theoretical Grammar finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.