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.
€89.86
Kup ten ebook, a 1 kolejny otrzymasz GRATIS!
Język Angielski ● Format EPUB ● ISBN 9783030294366 ● Redaktor Pascal Fontaine ● Wydawca Springer International Publishing ● Opublikowany 2019 ● Do pobrania 3 czasy ● Waluta EUR ● ID 7280940 ● Ochrona przed kopiowaniem Adobe DRM
Wymaga czytnika ebooków obsługującego DRM
Więcej książek elektronicznych tego samego autora (ów) / Redaktor
16 834 Ebooki w tej kategorii
