Automated Deduction – CADE 28
André Platzer, Geoff Sutcliffe
Information
650 Pages
English
PDF
About This Book
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is ... (see more details)
Get access to thousands of e-books
with a single subscription
© 2022 Calibr, All rights reserved.
|||