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

Celý popis

Uložené v:

Podrobná bibliografia
Hlavní autori:	Benzmüller, Christoph, Heule, Marijn J. H, Schmidt, Renate A
Médium:	E-kniha
Jazyk:	English
Vydavateľské údaje:	Cham Springer Nature 2024 Springer
Vydanie:	1
Edícia:	Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!