CASC2015

   

Sponsored by

 Maplesoft

Dr. HORNECKER

   

   
    Proceedings

 

The accepted CASC 2015 papers will be published in the Springer-Verlag series

 Lecture Notes in Computer Sciences as vol LNCS 9301