De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Labelled Deductive Systems

Labelled Deductive Systems

- Volume 1

af Dov M. (Professor Gabbay

indgår i Oxford Logic Guides serien

Labelled Deductive Systems af Dov M. (Professor Gabbay
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.
  • 2. december 2024
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.

Bag om Dov M. (Professor Gabbay

Vis alle bøger af Dov M. (Professor Gabbay

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



Andre købte også..
Find lignende bøger
Bogen Labelled Deductive Systems findes i følgende kategorier: