Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Automated Reasoning and Mathematics
- Essays in Memory of William W. McCune
Engelsk
Bogcover for Automated Reasoning and Mathematics af , 9783642366741
Specifikationer
Sprog:
Engelsk
Sider:
259
ISBN-13:
9783642366741
Indbinding:
Paperback
ISBN-10:
3642366740
Udg. Dato:
19 mar 2013
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
19 mar 2013

Automated Reasoning and Mathematics

- Essays in Memory of William W. McCune
Engelsk
Paperback 2013
Format:

Bog beskrivelse
The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.
... Vis mere

Forlags Vejl. pris
465,98 kr
Hos Booktok
369 kr
spar 21%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
259
ISBN-13:
9783642366741
Indbinding:
Paperback
ISBN-10:
3642366740
Udg. Dato:
19 mar 2013
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
19 mar 2013
Finder produkter...
Kategori sammenhænge