Search Results for Sorge, Volker. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSorge$00252C$002bVolker.$0026te$003dILS$0026ps$003d300? 2024-10-31T11:48:58Z Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. ent://SD_ILS/0/SD_ILS:519241 2024-10-31T11:48:58Z 2024-10-31T11:48:58Z Author&#160;Kerber, Manfred. editor.&#160;Carette, Jacques. editor.&#160;Kaliszyk, Cezary. editor.&#160;Rabe, Florian. editor.&#160;Sorge, Volker. editor.<br/>Preferred Shelf Number&#160;XX(519241.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20615-8">https://doi.org/10.1007/978-3-319-20615-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197066 2024-10-31T11:48:58Z 2024-10-31T11:48:58Z Author&#160;Jeuring, Johan. editor.&#160;Campbell, John A. editor.&#160;Carette, Jacques. editor.&#160;Reis, Gabriel. editor.&#160;Sojka, Petr. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31374-5">http://dx.doi.org/10.1007/978-3-642-31374-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188596 2024-10-31T11:48:58Z 2024-10-31T11:48:58Z Author&#160;Autexier, Serge. editor.&#160;Campbell, John. editor.&#160;Rubio, Julio. editor.&#160;Sorge, Volker. editor.&#160;Suzuki, Masakazu. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85110-3">http://dx.doi.org/10.1007/978-3-540-85110-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>