000			02118nam a2200397Ia 4500
000			03816nam a22004215i 4500
001			978-3-031-28083-2
003			DE-He213
005			20240319120823.0
007			cr nn 008mamaa
008			230307s2023 sz | s |||| 0|eng d
020			_a9783031280832 _9978-3-031-28083-2
082			_a5.115
245			_aRelational and Algebraic Methods in Computer Science _cedited by Roland Glück, Luigi Santocanale, Michael Winter. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer International Publishing _c2023
300			_aXVIII, 293 p. 25 illus., 4 illus. in color. _bonline resource.
520			_aThis book constitutes the proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, which took place in Augsburg, Germany, during April 3-6, 2023. The 17 papers presented in this book were carefully reviewed and selected from 26 submissions. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond. Apart from the submitted articles, this volume features the abstracts of the presentations of the three invited speakers. .
650			_aArtificial intelligence. _929645
650			_aArtificial Intelligence. _929646
650			_aComputer science _929647
650			_aData Mining and Knowledge Discovery. _929648
650			_aData mining. _929649
650			_aDatabase Management System. _929650
650			_aDatabase management. _929651
650			_aExpert systems (Computer science). _929652
650			_aKnowledge Based Systems. _929653
650			_aLogic in AI. _929654
650			_aLogic programming. _929655
650			_aMathematics of Computing. _929656
700			_aGlück, Roland. _929657
700			_aSantocanale, Luigi. _929658
700			_aWinter, Michael. _929659
856			_uhttps://doi.org/10.1007/978-3-031-28083-2
942			_cEBK _2ddc
999			_c15067 _d15067