Relational and algebraic methods in computer science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings /
作者:edited by Wolfram Kahl, Michael Winter, Jose Oliveira.
出版者:Springer International Publishing : Imprint: Springer