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

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

Celý popis

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Benzmüller, Christoph, Heule, Marijn J. H, Schmidt, Renate A
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Cham Springer Nature 2024 Springer
Vydání:	1
Edice:	Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Témata:	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:	9783031634987, 3031634985, 3031634977, 9783031634970
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!