De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Labelled Deductive Systems

- Volume 1

Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780198538332
  • Indbinding:
  • Hardback
  • Sideantal:
  • 510
  • Udgivet:
  • 5. september 1996
  • Størrelse:
  • 161x240x33 mm.
  • Vægt:
  • 870 g.
  • 8-11 hverdage.
  • 16. januar 2025
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Beskrivelse af 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.

Brugerbedømmelser af Labelled Deductive Systems



Find lignende bøger
Bogen Labelled Deductive Systems findes i følgende kategorier: