Relational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter.
Relational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings - Cham Springer 2021
9783030887018
Logic programming. Computer science-Mathematics. Computer science. Mathematical logic. Logic in AI. Mathematics of Computing. Theory of Computation. Mathematical Logic and Foundations.
Relational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings - Cham Springer 2021
9783030887018
Logic programming. Computer science-Mathematics. Computer science. Mathematical logic. Logic in AI. Mathematics of Computing. Theory of Computation. Mathematical Logic and Foundations.