EAN: 9783030798758

AUTOMATED DEDUCTION - CADE 28 KARTONIERT (TB)

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 the major forum for the presentation of research in all aspects of
automated deduction  including foundations  applications  implementations  and practical
experience. The papers are organized in the following topics: Logical foundations  theory and
principles  implementation and application  ATP and AI  and system descriptions.

Aktuelle Preise zur EAN 9783030798758

Produktinformationen zur 9783030798758