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

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 bo...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Benzmüller, Christoph, Heule, Marijn J. H, Schmidt, Renate A
Format:	E-Book
Sprache:	Englisch
Veröffentlicht:	Cham Springer Nature 2024 Springer
Ausgabe:	1
Schriftenreihe:	Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Schlagworte:	Artificial intelligence Automated reasoning Computer hardware Computer programming / software engineering Computer science Computing and Information Technology Deontic Logic Description logics Equational logic and rewriting First-order logic Higher order logic Interactive proof systems Intuitionistic Logics Logic Logic and verification Mathematical theory of computation Modal and temporal logics Modal Logics Non-classical Logics Programming logic Proof theory Rewriting Satisfiability Solving Separation logic Software Engineering Theorem Proving
ISBN:	9783031635007, 3031635000, 3031635019, 9783031635014
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!