TY  - BOOK
AU  - Uli Fahrenberg, Peter Jipsen, Michael Winter.
TI  - Relational and Algebraic Methods in Computer Science : 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26-29, 2020, Proceedings
SN  - 9783030435202
PY  - 2020///
CY  - Cham
PB  - Springer
KW  - Mathematical logic. Artificial intelligence. Computers. Computer logic. Numerical analysis. Mathematical Logic and Formal Languages. Artificial Intelligence. Information Systems and Communication Service. Logics and Meanings of Programs. Numeric Computing
UR  - https://doi.org/10.1007/978-3-030-43520-2
ER  -