Show simple item record

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

dc.contributor.editorBenzmüller, Christoph
dc.contributor.editorHeule, Marijn J.H.
dc.contributor.editorSchmidt, Renate A.
dc.date.accessioned2024-07-16T18:51:47Z
dc.date.available2024-07-16T18:51:47Z
dc.date.issued2024
dc.identifierONIX_20240716_9783031635014_33
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/92348
dc.description.abstractInfotext (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.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UK Computer hardware
dc.subject.otherAutomated reasoning
dc.subject.otherLogic
dc.subject.otherLogic and verification
dc.subject.otherModal and temporal logics
dc.subject.otherProof theory
dc.subject.otherInteractive proof systems
dc.subject.otherDescription logics,
dc.subject.otherEquational logic and rewriting
dc.subject.otherFirst-order logic
dc.subject.otherHigher order logic
dc.subject.otherProgramming logic
dc.subject.otherSeparation logic
dc.subject.otherIntuitionistic Logics
dc.subject.otherDeontic Logic
dc.subject.otherNon-classical Logics
dc.subject.otherTheorem Proving
dc.subject.otherSatisfiability Solving
dc.subject.otherModal Logics
dc.subject.otherRewriting
dc.titleAutomated Reasoning
dc.title.alternative12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II
dc.typebook
oapen.identifier.doi10.1007/978-3-031-63501-4
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isFundedBy272e907d-8344-4de7-9b77-7ec08a90695e
oapen.relation.isbn9783031635014
oapen.relation.isbn9783031635007
oapen.imprintSpringer Nature Switzerland
oapen.series.number14740
oapen.pages424
oapen.place.publicationCham
oapen.grant.number[...]


Files in this item

Thumbnail
Name:
978-3-031-63501-4.pdf
Size:
8.964Mb
Format:
PDF
ISBN:
9783031635014
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