Logic and Argumentation edited by Andreas Herzig, Jieting Luo, Pere Pardo. [electronic resource] :
Material type: TextPublication details: Cham Springer Nature Switzerland 2023Edition: 1st ed. 2023Description: XX, 225 p. 38 illus., 14 illus. in color. online resourceISBN:- 9783031408755
- Algorithms
- Artificial intelligence
- Artificial Intelligence
- Compilers (Computer programs)
- Compilers and Interpreters
- Computer programming
- Computer Science Logic and Foundations of Programming
- Computer science
- Design and Analysis of Algorithms
- Formal Languages and Automata Theory
- Machine theory
- Programming Techniques
- 6.3
Item type | Home library | Call number | Status | Notes | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
e-Book | S. R. Ranganathan Learning Hub Online | Available | Platform:Springer | EB2728 |
Total holds: 0
This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023. The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions. The papers focus on topics such as: logic and automated deduction; abstract and structured argumentation; dialogues, games and practical reasoning; and quantitative argumentation.
There are no comments on this title.
Log in to your account to post a comment.