Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	März 2023
Genre:	EDV / Informatik
	ArtificialIntelligence / binaryrelation / Categories / Data Mining / distributedsystems / fuzzysets / higherorderlogic / kleenealgebra / Knowledge-basedsystem / logicandverification / Matrixalgebra / ProgrammingLogic / Quantale / Relationalgebra / Wissensbasierte Systeme, Expertensysteme mehr...
ISBN:	9783031280825
EAN-Code:	9783031280825
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 17 mm
Gewicht:	476 gr
Seiten:	312
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This 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.