Name: Proof Theory and Automated Deduction
Price: 1008.95 DKK
Availability: OutOfStock
Author: Jean Goubault-Larrecq
ISBN: 9780792345930

Proof Theory and Automated Deductionaf Jean Goubault-Larrecq

Du sparer 0% ift. normalprisen Spar 0%

Hardback
Udsolgt
1.008,95 kr.

Bag om Proof Theory and Automated Deduction

This text covers basic notions in logic, with a particular stress on proof theory, as opposed to, for example, model theory or set theory. It shows how they are applied in computer science, and especially the particular field of automated deduction. That is to say, the automated search for proofs of mathematical propositions.

Vis mere

Sprog:
Engelsk

ISBN:
9780792345930

Forlag:
Kluwer Academic Publishers

Indbinding:
Hardback

Sideantal:
440

Udgivet:
31. maj 1997

Leveringstid: Ukendt - mangler pt..

Forlænget returret til d. 31. januar 2025

Normalpris

BLACK WEEK
1.008,95 kr. + Fragt
~~1.008,95 kr.~~

Medlemspris

958,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

This text covers basic notions in logic, with a particular stress on proof theory, as opposed to, for example, model theory or set theory. It shows how they are applied in computer science, and especially the particular field of automated deduction. That is to say, the automated search for proofs of mathematical propositions.

Brugerbedømmelser af Proof Theory and Automated Deduction

Andre købte også..

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