Theorem Proving in Higher Order Logics | Køb Theorem Proving in Higher Order Logics som bog, paperback fra TalesTheorem Proving in Higher Order Logics - tales.dk

Black Friday: Spar op til 85% Spar op til 85% på et kæmpe udvalg af gode bøger

Udsalget slutter om

Udvidet returret til d. 31. januar 2025

Theorem Proving in Higher Order Logics

Du sparer 0% ift. normalprisen Spar 0%

Paperback
2-4 uger
573,95 kr.

Sprog:
Engelsk

ISBN:
9783662199480

Forlag:
Springer Nature B.V.

Indbinding:
Paperback

Sideantal:
380

Udgivet:
12. marts 2014

Størrelse:
156x234x0 mm.

Vægt:
533 g.

Leveringstid: 2-4 uger.
Forventet levering: 21. december 2024

På lager

Forlænget returret til d. 31. januar 2025

Normalpris

BLACK FRIDAY
: :

573,95 kr. + Fragt
~~573,95 kr.~~

Medlemspris

523,95 kr.

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

Brugerbedømmelser af Theorem Proving in Higher Order Logics

Andre købte også..

Find lignende bøger

Bogen Theorem Proving in Higher Order Logics findes i følgende kategorier:

Business og læring > Videnskab