Name: The Clausal Theory of Types
Price: 742.95 DKK
Availability: InStock
Author: D. A. (University of Oxford) Wolfram
ISBN: 9780521395380

The Clausal Theory of Types af D. A. (University of Oxford) Wolfram

Du sparer 0% ift. normalprisen Spar 0%

Bag om The Clausal Theory of Types

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

Vis mere

Sprog:
Engelsk

ISBN:
9780521395380

Forlag:
Cambridge University Press

Indbinding:
Hardback

Sideantal:
134

Udgivet:
22. april 1993

Størrelse:
177x254x11 mm.

Vægt:
406 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 30. november 2024

På lager

Normalpris

BLACK NOVEMBER
742,95 kr. + Fragt
~~742,95 kr.~~

Medlemspris

692,95 kr.

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

Bag om D. A. (University of Oxford) Wolfram

Vis alle bøger af D. A. (University of Oxford) Wolfram

Beskrivelse af The Clausal Theory of Types

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

Brugerbedømmelser af The Clausal Theory of Types

Andre købte også..

Find lignende bøger

Bogen The Clausal Theory of Types findes i følgende kategorier:

Business og læring > Computer og IT

The Clausal Theory of Types - D. A. (University of Oxford) Wolfram - Bog

Bag om D. A. (University of Oxford) Wolfram

Beskrivelse af The Clausal Theory of Types

Brugerbedømmelser af The Clausal Theory of Types

Gør som tusindvis af andre bogelskere