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, 9780521395380
Specifikationer
Sprog:
Engelsk
Sider:
134
ISBN-13:
9780521395380
Indbinding:
Hardback
ISBN-10:
0521395380
Udg. Dato:
22 apr 1993
Størrelse i cm:
25,4 x 17,7 x 1,1
Oplagsdato:
22 apr 1993
Forfatter(e):

The Clausal Theory of Types

Engelsk
Hardback 1993
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
710,76 kr
Hos Booktok
611 kr
spar 14%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
134
ISBN-13:
9780521395380
Indbinding:
Hardback
ISBN-10:
0521395380
Udg. Dato:
22 apr 1993
Størrelse i cm:
25,4 x 17,7 x 1,1
Oplagsdato:
22 apr 1993
Forfatter(e):
Finder produkter...
Kategori sammenhænge