Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II
dc.contributor.editor | Benzmüller, Christoph | |
dc.contributor.editor | Heule, Marijn J.H. | |
dc.contributor.editor | Schmidt, Renate A. | |
dc.date.accessioned | 2024-07-16T18:51:47Z | |
dc.date.available | 2024-07-16T18:51:47Z | |
dc.date.issued | 2024 | |
dc.identifier | ONIX_20240716_9783031635014_33 | |
dc.identifier.uri | https://library.oapen.org/handle/20.500.12657/92348 | |
dc.description.abstract | Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions. The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models. This book is open access. | |
dc.language | English | |
dc.relation.ispartofseries | Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence | |
dc.subject.classification | thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence | |
dc.subject.classification | thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering | |
dc.subject.classification | thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation | |
dc.subject.classification | thema EDItEUR::U Computing and Information Technology::UK Computer hardware | |
dc.subject.other | Automated reasoning | |
dc.subject.other | Logic | |
dc.subject.other | Logic and verification | |
dc.subject.other | Modal and temporal logics | |
dc.subject.other | Proof theory | |
dc.subject.other | Interactive proof systems | |
dc.subject.other | Description logics, | |
dc.subject.other | Equational logic and rewriting | |
dc.subject.other | First-order logic | |
dc.subject.other | Higher order logic | |
dc.subject.other | Programming logic | |
dc.subject.other | Separation logic | |
dc.subject.other | Intuitionistic Logics | |
dc.subject.other | Deontic Logic | |
dc.subject.other | Non-classical Logics | |
dc.subject.other | Theorem Proving | |
dc.subject.other | Satisfiability Solving | |
dc.subject.other | Modal Logics | |
dc.subject.other | Rewriting | |
dc.title | Automated Reasoning | |
dc.title.alternative | 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II | |
dc.type | book | |
oapen.identifier.doi | 10.1007/978-3-031-63501-4 | |
oapen.relation.isPublishedBy | 6c6992af-b843-4f46-859c-f6e9998e40d5 | |
oapen.relation.isFundedBy | 272e907d-8344-4de7-9b77-7ec08a90695e | |
oapen.relation.isbn | 9783031635014 | |
oapen.relation.isbn | 9783031635007 | |
oapen.imprint | Springer Nature Switzerland | |
oapen.series.number | 14740 | |
oapen.pages | 424 | |
oapen.place.publication | Cham | |
oapen.grant.number | [...] |