Norges billigste bøker

Labelled Deductive Systems

- Volume 1

Om Labelled Deductive Systems

This book introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780198538332
  • Bindende:
  • Hardback
  • Sider:
  • 510
  • Utgitt:
  • 5 september 1996
  • Dimensjoner:
  • 161x240x33 mm.
  • Vekt:
  • 870 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 24 oktober 2024

Beskrivelse av Labelled Deductive Systems

This book introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy.

Brukervurderinger av Labelled Deductive Systems



Finn lignende bøker
Boken Labelled Deductive Systems 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.