000			00700nam a2200133Ia 4500
008			2212144s2021 xx 000 0 und d
020			_a9783030887018
041			_aeng
100			_aUli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter.
245			_aRelational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
260			_aCham _bSpringer _c2021
650			_aLogic programming. Computer science-Mathematics. Computer science. Mathematical logic. Logic in AI. Mathematics of Computing. Theory of Computation. Mathematical Logic and Foundations.
856			_uhttps://doi.org/10.1007/978-3-030-88701-8
999			_c89082 _d89082