Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
| dc.contributor.editor | Benzmüller, Christoph | |
| dc.contributor.editor | Heule, Marijn J.H. | |
| dc.contributor.editor | Schmidt, Renate A. | |
| dc.date.accessioned | 2025-03-08T01:00:31Z | |
| dc.date.available | 2025-03-08T01:00:31Z | |
| dc.date.issued | 2024 | |
| dc.date.submitted | 2024-07-16T18:51:45Z | |
| dc.identifier | ONIX_20240716_9783031634987_32 | |
| dc.identifier | https://library.oapen.org/handle/20.500.12657/92347 | |
| dc.identifier.uri | https://doab-dev.siscern.org/handle/20.500.12854/173600 | |
| dc.description.abstract | 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::UYA Mathematical theory of computation | |
| 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::UYQ Artificial intelligence | |
| 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 I | |
| dc.type | book | |
| oapen.identifier.doi | 10.1007/978-3-031-63498-7 | |
| oapen.relation.isPublishedBy | 9fa3421d-f917-4153-b9ab-fc337c396b5a | |
| oapen.relation.isFundedBy | 272e907d-8344-4de7-9b77-7ec08a90695e | |
| oapen.relation.isbn | 9783031634987 | |
| oapen.relation.isbn | 9783031634970 | |
| oapen.imprint | Springer Nature Switzerland | |
| oapen.pages | 482 | |
| oapen.place.publication | Cham | |
| oapen.grant.number | [...] | |
| dc.relationisFundedBy | 272e907d-8344-4de7-9b77-7ec08a90695e | |
| dc.seriesnumber | 14739 |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||