Sale!

Automated Deduction CADE 28 28th International Conference on Automated Deduction Virtual Event July 12 15 2021 Proceedings Lecture Notes in Computer Science 12699 by André Platzer (Editor); Geoff Sutcliffe (editor) 3030798755 9783030798758

Name: Automated Deduction CADE 28 28th International Conference on Automated Deduction Virtual Event July 12 15 2021 Proceedings Lecture Notes in Computer Science 12699 by André Platzer (Editor); Geoff Sutcliffe (editor) 3030798755 9783030798758
SKU: EB-37049482
Availability: InStock

Original price was: $50.00.Current price is: $25.00.

Automated Deduction CADE 28 28th International Conference on Automated Deduction Virtual Event July 12 15 2021 Proceedings Lecture Notes in Computer Science 12699 André Platzer (Editor) Digital Instant Download

Author(s): André Platzer (editor), Geoff Sutcliffe (editor)

ISBN(s): 9783030798758, 3030798755

Edition: 1st ed. 2021

File Details: PDF, 28.30 MB

Year: 2021

Language: English

SKU: EB-37049482 Category: Uncategorized Tags: 3030798755, 9783030798758, André Platzer (editor), Automated Deduction, CADE 28, Geoff Sutcliffe (editor)

Description

Automated Deduction CADE 28 28th International Conference on Automated Deduction Virtual Event July 12 15 2021 Proceedings Lecture Notes in Computer Science 12699 André Platzer (Editor) – Ebook Instant Download/Delivery ISBN(s): 9783030798758,3030798755

Product details:

• ISBN 10: 3030798755
• ISBN 13: 9783030798758
• Author: André Platzer (editor), Geoff Sutcliffe (editor)

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.