Norges billigste bøker

Linear Logic in Computer Science

Om Linear Logic in Computer Science

The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780521608572
  • Bindende:
  • Paperback
  • Sider:
  • 392
  • Utgitt:
  • 15. november 2004
  • Dimensjoner:
  • 153x228x23 mm.
  • Vekt:
  • 520 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 1. mai 2025

Beskrivelse av Linear Logic in Computer Science

The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area.

Brukervurderinger av Linear Logic in Computer Science



Finn lignende bøker
Boken Linear Logic in Computer Science finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.