| 000 | 00801nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 2212144s2021 xx 000 0 und d | ||
| 020 | _a9783030893910 | ||
| 041 | _aeng | ||
| 100 | _aPietro Baroni, Christoph Benzmüller, Yὶ N. Wáng. | ||
| 245 | _aLogic and Argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings | ||
| 260 |
_aCham _bSpringer _c2021 |
||
| 650 | _aArtificial 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. | ||
| 856 | _uhttps://doi.org/10.1007/978-3-030-89391-0 | ||
| 999 |
_c89003 _d89003 |
||