Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings /

This book constitutes the refereed proceedings of the 6th International Conference on Logic and Argumentation, CLAR 2025, held in Taiyuan, China, during June 14–16, 2025. The 22 full papers included in this book were carefully reviewed and selected from 38 submissions. These papers focus on the rece...

Celý popis

Podrobná bibliografie

Korporativní autor:	SpringerLink (Online service)
Další autoři:	Ågotnes, Thomas (Editor), Doder, Dragan (Editor)
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Singapore : Springer Nature Singapore : Imprint: Springer, 2025.
Vydání:	1st ed. 2025.
Edice:	Lecture Notes in Artificial Intelligence, 15712
Témata:	Artificial intelligence. Computer programming. Compilers (Computer programs). Algorithms. Computer science. Machine theory. Artificial Intelligence. Programming Techniques. Compilers and Interpreters. Design and Analysis of Algorithms. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory.
On-line přístup:	https://doi.org/10.1007/978-981-96-7956-0
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!