| id |
oapen-20.500.12657-76245
|
| record_format |
dspace
|
| spelling |
oapen-20.500.12657-762452023-09-14T03:42:51Z Automated Deduction – CADE 29 Pientka, Brigitte Tinelli, Cesare artificial intelligence automata theory Boolean functions formal languages formal logic model checking software engineering automated theorem proving software verification logic programming automated reasoning automated deduction propositional satisfiability constraint solving computer algebra satisfiability modulo theories bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering This 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. 2023-09-13T19:46:53Z 2023-09-13T19:46:53Z 2023 book ONIX_20230913_9783031384998_21 9783031384998 9783031384981 https://library.oapen.org/handle/20.500.12657/76245 eng Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence application/pdf n/a 978-3-031-38499-8.pdf https://link.springer.com/978-3-031-38499-8 Springer Nature Springer Nature Switzerland 10.1007/978-3-031-38499-8 10.1007/978-3-031-38499-8 6c6992af-b843-4f46-859c-f6e9998e40d5 42b95aa2-81d5-461e-a899-c4d5814aab66 9783031384998 9783031384981 Springer Nature Switzerland 14132 592 Cham [...] open access
|
| institution |
OAPEN
|
| collection |
DSpace
|
| language |
English
|
| description |
This 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.
|
| title |
978-3-031-38499-8.pdf
|
| spellingShingle |
978-3-031-38499-8.pdf
|
| title_short |
978-3-031-38499-8.pdf
|
| title_full |
978-3-031-38499-8.pdf
|
| title_fullStr |
978-3-031-38499-8.pdf
|
| title_full_unstemmed |
978-3-031-38499-8.pdf
|
| title_sort |
978-3-031-38499-8.pdf
|
| publisher |
Springer Nature
|
| publishDate |
2023
|
| url |
https://link.springer.com/978-3-031-38499-8
|
| _version_ |
1799945285855608832
|
