Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /

This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25–27, 2024. The 13 full papers included in these proceedings were carefully reviewed and selected from 37 submissions. The book also co...

Celý popis

Podrobná bibliografie

Korporativní autor:	SpringerLink (Online service)
Další autoři:	Kovács, Laura (Editor), Sokolova, Ana (Editor)
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Vydání:	1st ed. 2024.
Edice:	Lecture Notes in Computer Science, 15050
Témata:	Machine theory. Computer science. Software engineering. Logic programming. Algorithms. Computer science > Mathematics. Formal Languages and Automata Theory. Computer Science Logic and Foundations of Programming. Software Engineering. Logic in AI. Design and Analysis of Algorithms. Mathematics of Computing.
On-line přístup:	https://doi.org/10.1007/978-3-031-72621-7
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!