Kurv Vare varer (tom)

Ingen varer

Fastlægges senere Forsendelse

0,- kr I alt

Kassen / rediger kurv

Varen er nu lagt i din kurv

Antal

I alt

Der er 0 varer i din kurv Der er 1 vare i din kurv

Varer i alt

Forsendelse i alt Fastlægges senere

I alt

Fortsæt indkøb

D. A. (University of Oxford) Wolfram Forfatter

Visning: Type : Alle | Sprog : Alle | Format : Hardback

Viser 1 - 1 af 1 resultat

PRIS

785,- kr

FRAGT FRA 35,-

Levering: Print on Demand (forvent 14 - 30 hverdage)

The Clausal Theory of Types (Bog, Hardback, Engelsk)

Af: D. A. (University of Oxford) Wolfram

In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.

PRIS

785,- kr

FRAGT FRA 35,-

Levering: Print on Demand (forvent 14 - 30 hverdage)

Læg i kurv

Viser 1 - 1 af 1 resultat