Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Automated Reasoning
- 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Engelsk
Bogcover for Automated Reasoning af , 9783319942049
Specifikationer
Sprog:
Engelsk
Sider:
724
ISBN-13:
9783319942049
Indbinding:
Paperback
ISBN-10:
3319942042
Udg. Dato:
1 jul 2018
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
1 jul 2018

Automated Reasoning

- 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Engelsk
Paperback 2018
Format:

Bog beskrivelse
This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018.
... Vis mere

Forlags Vejl. pris
524,24 kr
Hos Booktok
409 kr
spar 22%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
724
ISBN-13:
9783319942049
Indbinding:
Paperback
ISBN-10:
3319942042
Udg. Dato:
1 jul 2018
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
1 jul 2018
Finder produkter...
Kategori sammenhænge