An edition of Relational and Algebraic Methods in Computer Science (2014)
Relational and Algebraic Methods in Computer Science
21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-23, 2024, Proceedings
By Uli Fahrenberg,Peter Jipsen,Michael Winter
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2024
Publisher
Springer
Language
eng
Pages
414
Description:
subjects: Computer science, mathematics, Artificial Intelligence (incl. Robotics), Software engineering, Computer science, Logic design, Computational complexity, Algebra, Data processing, Artificial intelligence, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Logics and Meanings of Programs, Discrete Mathematics in Computer Science