Name: Proof Theory and Automated Deduction
Price: 638.95 DKK
Availability: InStock
Author: Jean Goubault-Larrecq
ISBN: 9781402003684

Proof Theory and Automated Deduction af Jean Goubault-Larrecq

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
638,95 kr.

Bag om Proof Theory and Automated Deduction

A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto mated deduction for the logic and its fragments is as important as the logic itself.

Vis mere

Sprog:
Engelsk

ISBN:
9781402003684

Forlag:
Springer-Verlag New York Inc.

Indbinding:
Paperback

Sideantal:
444

Udgivet:
30. november 2001

Udgave:
11997

Størrelse:
155x235x22 mm.

Vægt:
1370 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 16. januar 2025

På lager

Forlænget returret til d. 31. januar 2025

Kan ikke leveres inden jul.
Køb nu og print et gavebevis

Normalpris

638,95 kr. + Fragt
~~638,95 kr.~~

Medlemspris

588,95 kr.

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

Bag om Jean Goubault-Larrecq

Vis alle bøger af Jean Goubault-Larrecq

Beskrivelse af Proof Theory and Automated Deduction

A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto mated deduction for the logic and its fragments is as important as the logic itself.

Brugerbedømmelser af Proof Theory and Automated Deduction

Andre købte også..

Find lignende bøger

Bogen Proof Theory and Automated Deduction findes i følgende kategorier:

Business og læring

Proof Theory and Automated Deduction - Jean Goubault-Larrecq - Bog

Bag om Jean Goubault-Larrecq

Beskrivelse af Proof Theory and Automated Deduction

Brugerbedømmelser af Proof Theory and Automated Deduction

Gør som tusindvis af andre bogelskere