Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Automated Theorem Proving
- After 25 Years
Engelsk
Foto på vej
Specifikationer
Sprog:
Engelsk
ISBN-13:
9780821850275
Indbinding:
Paperback
ISBN-10:
082185027X
Udg. Dato:
15 dec 1984
Størrelse i cm:
17,1 x 25,2 x 1,4
Oplagsdato:
15 dec 1984

Automated Theorem Proving

- After 25 Years
Engelsk
Paperback 1984
Format:

Forlags Vejl. pris
658,37 kr
Hos Booktok
611 kr
spar 7%
Læg i kurv nu
Sikker betaling
6 - 8 hverdage

Specifikationer
Sprog:
Engelsk
ISBN-13:
9780821850275
Indbinding:
Paperback
ISBN-10:
082185027X
Udg. Dato:
15 dec 1984
Størrelse i cm:
17,1 x 25,2 x 1,4
Oplagsdato:
15 dec 1984
Finder produkter...
Kategori sammenhænge