Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Automated Deduction – CADE 27
- 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Engelsk Paperback
Automated Deduction – CADE 27
- 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Engelsk Paperback

716 kr
Tilføj til kurv
Sikker betaling
6 - 8 hverdage

Om denne bog

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.

 

Product detaljer
Sprog:
Engelsk
Sider:
582
ISBN-13:
9783030294359
Indbinding:
Paperback
Udgave:
ISBN-10:
3030294358
Kategori:
Udg. Dato:
21 aug 2019
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer Nature Switzerland AG
Oplagsdato:
21 aug 2019
Forfatter(e):
Kategori sammenhænge