|  |
 |
| Artikel-Nr.: 5667A-9783031646256 Herst.-Nr.: 9783031646256 EAN/GTIN: 9783031646256 |
| |
|
|  |  |
 | 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings Weitere Informationen:  |  | Author: | Wei-Ngan Chin; Zhiwu Xu | Verlag: | Springer International Publishing | Sprache: | eng |
|
|  |  |
 | |  |  |
 | Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Computer Science, Informatics, Conference Proceedings, Research, Applications, Theory of computation, Logic and verification, Programming logic, Proof theory, Semantics and reasoning, Program semantics |
|  |  |
| |