Image of Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
Bookmark Share

Text

Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

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.

Availability

No copy data

Detail Information
Series Title
-
Call Number
-
Publisher
Cham : Springer Cham.,
Collation
XIV, 650
Language
English
ISBN/ISSN
9783030798765
Classification
NONE
Content Type
text
Media Type
computer
Carrier Type
online resource
Edition
1
Subject(s)
Artificial Intelligence
Specific Detail Info
-
Statement of Responsibility
Other Information
Cataloger
Kholif Basri
Source
-
Validator
-
Digital Object Identifier (DOI)
https://doi.org/10.1007/978-3-030-79876-5
Journal Volume
-
Journal Issue
-
Subtitle
-
Parallel Title
-
Other version/related

No other version available

File Attachment
Comments
You must be logged in to post a comment