Name: Goal-Directed Proof Theory
Price: 1332.95 DKK
Availability: InStock
Author: Dov M. Gabbay
ISBN: 9789048155262

Goal-Directed Proof Theory af Dov M. Gabbay

Du sparer 0% ift. normalprisen Spar 0%

Paperback
2-3 uger
1.332,95 kr.

Bag om Goal-Directed Proof Theory

Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged.

Vis mere

Sprog:
Engelsk

ISBN:
9789048155262

Forlag:
Springer

Indbinding:
Paperback

Sideantal:
268

Udgivet:
3. December 2010

Udgave:
12000

Størrelse:
235x155x14 mm.

Vægt:
438 g.

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

Normalpris

1.332,95 kr. + Fragt
~~1.332,95 kr.~~

Medlemspris

1.282,95 kr.

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

Bag om Dov M. Gabbay

Vis alle bøger af Dov M. Gabbay

Beskrivelse af Goal-Directed Proof Theory

Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged.

Brugerbedømmelser af Goal-Directed Proof Theory

Andre købte også..

Find lignende bøger

Bogen Goal-Directed Proof Theory findes i følgende kategorier:

Goal-Directed Proof Theory - Dov M. Gabbay - Bog

Bag om Dov M. Gabbay

Beskrivelse af Goal-Directed Proof Theory

Brugerbedømmelser af Goal-Directed Proof Theory

Gør som tusindvis af andre bogelskere