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. Labelled Deductive Systems

Labelled Deductive Systems

- Volume 1

av Dov M. (Professor Gabbay

del av Oxford Logic Guides-serien

Labelled Deductive Systems av Dov M. (Professor Gabbay
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780198538332
  • Format:
  • Inbunden
  • Sidor:
  • 510
  • Utgiven:
  • 5. september 1996
  • Mått:
  • 161x240x33 mm.
  • Vikt:
  • 870 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 24. december 2024
Förlängd ångerrätt till 31. januari 2025

Om Dov M. (Professor Gabbay

Se alla böcker av Dov M. (Professor Gabbay

Beskrivning 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.

Användarnas betyg av Labelled Deductive Systems



Andra köpte även...
Hitta liknande böcker
Boken Labelled Deductive Systems 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.