Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Automated Deduction – CADE 27
- 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Engelsk
Bogcover for Automated Deduction – CADE 27 af , 9783030294359
Specifikationer
Sprog:
Engelsk
Sider:
582
ISBN-13:
9783030294359
Indbinding:
Paperback
ISBN-10:
3030294358
Kategori:
Udg. Dato:
21 aug 2019
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
21 aug 2019

Automated Deduction – CADE 27

- 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Engelsk
Paperback 2019
Format:

Bog beskrivelse

This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019.
The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.

 

... Vis mere

Forlags Vejl. pris
815,53 kr
Hos Booktok
613 kr
spar 25%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
582
ISBN-13:
9783030294359
Indbinding:
Paperback
ISBN-10:
3030294358
Kategori:
Udg. Dato:
21 aug 2019
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
21 aug 2019
Finder produkter...
Kategori sammenhænge