MARC details
000 -LEADER |
fixed length control field |
02118nam a2200397Ia 4500 |
000 - LEADER |
fixed length control field |
03816nam a22004215i 4500 |
001 - CONTROL NUMBER |
control field |
978-3-031-28083-2 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20240319120823.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
230307s2023 sz | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783031280832 |
-- |
978-3-031-28083-2 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
5.115 |
245 ## - TITLE STATEMENT |
Title |
Relational and Algebraic Methods in Computer Science |
Statement of responsibility, etc. |
edited by Roland Glück, Luigi Santocanale, Michael Winter. |
Medium |
[electronic resource] : |
250 ## - EDITION STATEMENT |
Edition statement |
1st ed. 2023. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Cham |
Name of publisher, distributor, etc. |
Springer International Publishing |
Date of publication, distribution, etc. |
2023 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
XVIII, 293 p. 25 illus., 4 illus. in color. |
Other physical details |
online resource. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
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. . |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Artificial intelligence. |
9 (RLIN) |
29645 |
|
Topical term or geographic name entry element |
Artificial Intelligence. |
9 (RLIN) |
29646 |
|
Topical term or geographic name entry element |
Computer science |
9 (RLIN) |
29647 |
|
Topical term or geographic name entry element |
Data Mining and Knowledge Discovery. |
9 (RLIN) |
29648 |
|
Topical term or geographic name entry element |
Data mining. |
9 (RLIN) |
29649 |
|
Topical term or geographic name entry element |
Database Management System. |
9 (RLIN) |
29650 |
|
Topical term or geographic name entry element |
Database management. |
9 (RLIN) |
29651 |
|
Topical term or geographic name entry element |
Expert systems (Computer science). |
9 (RLIN) |
29652 |
|
Topical term or geographic name entry element |
Knowledge Based Systems. |
9 (RLIN) |
29653 |
|
Topical term or geographic name entry element |
Logic in AI. |
9 (RLIN) |
29654 |
|
Topical term or geographic name entry element |
Logic programming. |
9 (RLIN) |
29655 |
|
Topical term or geographic name entry element |
Mathematics of Computing. |
9 (RLIN) |
29656 |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Glück, Roland. |
9 (RLIN) |
29657 |
|
Personal name |
Santocanale, Luigi. |
9 (RLIN) |
29658 |
|
Personal name |
Winter, Michael. |
9 (RLIN) |
29659 |
856 ## - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://doi.org/10.1007/978-3-031-28083-2">https://doi.org/10.1007/978-3-031-28083-2</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
e-Book |
Source of classification or shelving scheme |
Dewey Decimal Classification |