TY  - BOOK
AU  - Dang Van Hung, Oleg Sokolsky.
TI  - Automated Technology for Verification and Analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
SN  - 9783030591526
PY  - 2020///
CY  - Cham
PB  - Springer
KW  - Artificial intelligence. Special purpose computers. Architecture, Computer. Natural language processing (Computer science). Data structures (Computer science). Artificial Intelligence. Special Purpose and Application-Based Systems. Computer System Implementation. Natural Language Processing (NLP). Data Structures and Information Theory
UR  - https://doi.org/10.1007/978-3-030-59152-6
ER  -