Name: Computational Logic and Set Theory
Price: 693.95 DKK
Availability: InStock
Author: Domenico Cantone
ISBN: 9780857298072

Computational Logic and Set Theory af Domenico Cantone

Du sparer 0% ift. normalprisen Spar 0%

Bag om Computational Logic and Set Theory

Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the AEtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.

Vis mere

Sprog:
Engelsk

ISBN:
9780857298072

Forlag:
Springer London Ltd

Indbinding:
Hardback

Sideantal:
416

Udgivet:
16. juli 2011

Størrelse:
166x243x30 mm.

Vægt:
824 g.

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

Forlænget returret til d. 31. januar 2025

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

Normalpris

693,95 kr. + Fragt
~~693,95 kr.~~

Medlemspris

643,95 kr.

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

Bag om Domenico Cantone

Vis alle bøger af Domenico Cantone

Beskrivelse af Computational Logic and Set Theory

Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the AEtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.

Brugerbedømmelser af Computational Logic and Set Theory

Andre købte også..

Find lignende bøger

Bogen Computational Logic and Set Theory findes i følgende kategorier:

Business og læring > Computer og IT

Computational Logic and Set Theory - Domenico Cantone - Bog

Bag om Domenico Cantone

Beskrivelse af Computational Logic and Set Theory

Brugerbedømmelser af Computational Logic and Set Theory

Gør som tusindvis af andre bogelskere