Automated Reasoning -:  12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Christoph Benzmüller; Marijn J. H. Heule; Renate A. Schmidt

doi:10.1007/978-3-031-63501-4

Automated Reasoning -: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Christoph Benzmüller (Editor)
, Marijn J. H. Heule (Editor)
, Renate A. Schmidt (Editor)

Formal Methods

Research output: Book/Report › Anthology › peer-review

Original language	English
Publisher	Springer Cham
Number of pages	424
ISBN (Print)	978-3-031-63500-7
DOIs	https://doi.org/10.1007/978-3-031-63501-4 https://doi.org/10.1007/978-3-031-63501-4
Publication status	Published - 2024

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	14740

Name	Lecture Notes in Artificial Intelligence

Keywords

Open Access
Automated reasoning
Logic
Logic and verification
Modal and temporal logics
Proof theory
Interactive proof systems
description logics
Equational logic and rewriting
First-order logic
Higher order logic
Programming logic
Separation logic
Intuitionistic Logics
Deontic Logic
Non-classical Logics
Theorem Proving
Satisfiability Solving
Modal Logics
Rewriting

Access to Document

https://doi.org/10.1007/978-3-031-63501-4

Cite this

Benzmüller, C., Heule, M. J. H., & Schmidt, R. A. (Eds.) (2024). Automated Reasoning -: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II. (Lecture Notes in Computer Science; Vol. 14740), (Lecture Notes in Artificial Intelligence). Springer Cham. https://doi.org/10.1007/978-3-031-63501-4, https://doi.org/10.1007/978-3-031-63501-4

@book{9bab36bd54bd41c98344e999e983aeba,

title = "Automated Reasoning -: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II",

keywords = "Open Access, Automated reasoning, Logic, Logic and verification, Modal and temporal logics, Proof theory, Interactive proof systems, description logics, Equational logic and rewriting, First-order logic, Higher order logic, Programming logic, Separation logic, Intuitionistic Logics, Deontic Logic, Non-classical Logics, Theorem Proving, Satisfiability Solving, Modal Logics, Rewriting",

editor = "Christoph Benzm{\"u}ller and Heule, \{Marijn J. H.\} and Schmidt, \{Renate A.\}",

year = "2024",

doi = "10.1007/978-3-031-63501-4",

language = "English",

isbn = "978-3-031-63500-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer Cham",

address = "Switzerland",

}

Automated Reasoning -: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II. / Benzmüller, Christoph (Editor); Heule, Marijn J. H. (Editor); Schmidt, Renate A. (Editor).
Springer Cham, 2024. 424 p. (Lecture Notes in Computer Science; Vol. 14740), (Lecture Notes in Artificial Intelligence).

Research output: Book/Report › Anthology › peer-review

TY - BOOK

T1 - Automated Reasoning -

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

A2 - Benzmüller, Christoph

A2 - Heule, Marijn J. H.

A2 - Schmidt, Renate A.

PY - 2024

Y1 - 2024

KW - Open Access

KW - Automated reasoning

KW - Logic

KW - Logic and verification

KW - Modal and temporal logics

KW - Proof theory

KW - Interactive proof systems

KW - description logics

KW - Equational logic and rewriting

KW - First-order logic

KW - Higher order logic

KW - Programming logic

KW - Separation logic

KW - Intuitionistic Logics

KW - Deontic Logic

KW - Non-classical Logics

KW - Theorem Proving

KW - Satisfiability Solving

KW - Modal Logics

KW - Rewriting

U2 - 10.1007/978-3-031-63501-4

DO - 10.1007/978-3-031-63501-4

M3 - Anthology

SN - 978-3-031-63500-7

T3 - Lecture Notes in Computer Science

BT - Automated Reasoning -

PB - Springer Cham

ER -