Show simple item record

Automated Deduction – CADE 28

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

dc.contributor.editorPlatzer, André
dc.contributor.editorSutcliffe, Geoff
dc.date.accessioned2021-02-10T12:58:18Z
dc.date.issued2021
dc.date.submitted2021-07-14T09:58:54Z
dc.identifierONIX_20210714_9783030798765_26
dc.identifierhttps://library.oapen.org/handle/20.500.12657/50048
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/71322
dc.description.abstractThis 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.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
dc.rightsopen access
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligenceen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computationen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineeringen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineeringen_US
dc.subject.otherArtificial Intelligence
dc.subject.otherMathematical Logic and Formal Languages
dc.subject.otherLogics and Meanings of Programs
dc.subject.otherSoftware Engineering
dc.subject.otherFormal Languages and Automata Theory
dc.subject.otherComputer Science Logic and Foundations of Programming
dc.subject.otherautomata theory
dc.subject.otherboolean functions
dc.subject.othercomputer programming
dc.subject.otherfirst order logic
dc.subject.otherformal languages
dc.subject.otherformal logic
dc.subject.otherlogic programming
dc.subject.othermodel checking
dc.subject.otherprogram verification
dc.subject.othersemantics
dc.subject.othersoftware architecture
dc.subject.othersoftware design
dc.subject.othersoftware quality
dc.subject.othersoftware verification
dc.subject.othertheorem provers
dc.subject.othertheorem proving
dc.subject.otherMathematical theory of computation
dc.subject.otherComputer programming / software engineering
dc.subject.otherComputer architecture & logic design
dc.titleAutomated Deduction – CADE 28
dc.title.alternative28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
dc.typebook
oapen.identifier.doi10.1007/978-3-030-79876-5
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isbn9783030798765
oapen.imprintSpringer International Publishing
oapen.pages650
dc.seriesnumber12699


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

open access
Except where otherwise noted, this item's license is described as open access