Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
The Clausal Theory of Types
Engelsk
Bogcover for The Clausal Theory of Types af D. A. Wolfram, 9780521117906
Specifikationer
Sprog:
Engelsk
Sider:
136
ISBN-13:
9780521117906
Indbinding:
Paperback
ISBN-10:
0521117909
Udg. Dato:
30 jul 2009
Størrelse i cm:
24,4 x 17,0 x 0,7
Oplagsdato:
30 jul 2009
Forfatter(e):

The Clausal Theory of Types

Engelsk
Paperback 2009
Format:

Bog beskrivelse
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

Forlags Vejl. pris
326,25 kr
Hos Booktok
303 kr
spar 7%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
136
ISBN-13:
9780521117906
Indbinding:
Paperback
ISBN-10:
0521117909
Udg. Dato:
30 jul 2009
Størrelse i cm:
24,4 x 17,0 x 0,7
Oplagsdato:
30 jul 2009
Forfatter(e):
Finder produkter...
Kategori sammenhænge