Show simple item record

Automated Deduction – CADE 29

29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

dc.contributor.editorPientka, Brigitte
dc.contributor.editorTinelli, Cesare
dc.date.accessioned2023-09-13T19:46:53Z
dc.date.available2023-09-13T19:46:53Z
dc.date.issued2023
dc.identifierONIX_20230913_9783031384998_21
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/76245
dc.description.abstractThis open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 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.subject.otherartificial intelligence
dc.subject.otherautomata theory
dc.subject.otherBoolean functions
dc.subject.otherformal languages
dc.subject.otherformal logic
dc.subject.othermodel checking
dc.subject.othersoftware engineering
dc.subject.otherautomated theorem proving
dc.subject.othersoftware verification
dc.subject.otherlogic programming
dc.subject.otherautomated reasoning
dc.subject.otherautomated deduction
dc.subject.otherpropositional satisfiability
dc.subject.otherconstraint solving
dc.subject.othercomputer algebra
dc.subject.othersatisfiability modulo theories
dc.titleAutomated Deduction – CADE 29
dc.title.alternative29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
dc.typebook
oapen.identifier.doi10.1007/978-3-031-38499-8
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isFundedBy42b95aa2-81d5-461e-a899-c4d5814aab66
oapen.relation.isbn9783031384998
oapen.relation.isbn9783031384981
oapen.imprintSpringer Nature Switzerland
oapen.series.number14132
oapen.pages592
oapen.place.publicationCham
oapen.grant.number[...]


Files in this item

Thumbnail
Name:
978-3-031-38499-8.pdf
Size:
15.51Mb
Format:
PDF
ISBN:
9783031384998
License:
http://creativecommons.org/lic ...
Webshop link:
https://link.springer.com/978- ...
View/Open

This item appears in the following Collection(s)

Show simple item record