Logic and Argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings
Pietro Baroni, Christoph Benzmüller, Yὶ N. Wáng.
Logic and Argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings - Cham Springer 2021
9783030893910
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.
Logic and Argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings - Cham Springer 2021
9783030893910
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.