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 | 2025-03-07T14:00:03Z | |
| dc.date.available | 2025-03-07T14:00:03Z | |
| dc.date.issued | 2024 | |
| dc.date.submitted | 2024-07-16T18:51:47Z | |
| dc.identifier | ONIX_20240716_9783031635014_33 | |
| dc.identifier | https://library.oapen.org/handle/20.500.12657/92348 | |
| dc.identifier.uri | https://doab-dev.siscern.org/handle/20.500.12854/153448 | |
| 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.rights | open access | |
| 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.subject.other | thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence | |
| dc.subject.other | thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering | |
| dc.subject.other | thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation | |
| dc.subject.other | thema EDItEUR::U Computing and Information Technology::UK Computer hardware | |
| 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 | 9fa3421d-f917-4153-b9ab-fc337c396b5a | |
| oapen.relation.isFundedBy | 272e907d-8344-4de7-9b77-7ec08a90695e | |
| oapen.relation.isbn | 9783031635014 | |
| oapen.relation.isbn | 9783031635007 | |
| oapen.imprint | Springer Nature Switzerland | |
| oapen.pages | 424 | |
| oapen.place.publication | Cham | |
| oapen.grant.number | [...] | |
| dc.relationisFundedBy | 272e907d-8344-4de7-9b77-7ec08a90695e | |
| dc.seriesnumber | 14740 |
Fichier(s) constituant ce document
| Fichiers | Taille | Format | Vue |
|---|---|---|---|
|
Il n'y a pas de fichiers associés à ce document. |
|||