Name: Labelled Deductive Systems
Price: 1667.95 DKK
Availability: InStock
Author: Dov M. (Professor Gabbay
ISBN: 9780198538332

Labelled Deductive Systems af Dov M. (Professor Gabbay

Du sparer 0% ift. normalprisen Spar 0%

Hardback
2-3 uger
1.667,95 kr.

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

Forlag:
Oxford University Press

Indbinding:
Hardback

Sideantal:
510

Udgivet:
5. September 1996

Størrelse:
161x240x33 mm.

Vægt:
870 g.

Leveringstid: 2-3 uger.
Forventet levering: 20. Juli 2024

På lager

Normalpris

1.667,95 kr. + Fragt
~~1.667,95 kr.~~

Medlemspris

1.617,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Business og læring > Computer og IT

Labelled Deductive Systems - Dov M. (Professor Gabbay - Bog

Bag om Dov M. (Professor Gabbay

Beskrivelse af Labelled Deductive Systems

Brugerbedømmelser af Labelled Deductive Systems

Gør som tusindvis af andre bogelskere