An edition of Relational and Algebraic Methods in Computer Science (2014)
Relational and Algebraic Methods in Computer Science
14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, 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
2014
Publisher
Springer London, Limited
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