Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and sele...
Published in: | Springer eBooks |
---|---|
Corporate Author: | SpringerLink (Online service) |
Other Authors: | Kerber, Manfred (Editor), Carette, Jacques (Editor), Kaliszyk, Cezary (Editor), Rabe, Florian (Editor), Sorge, Volker (Editor) |
Format: | eBook |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
Series: | Lecture Notes in Computer Science,
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-3-319-20615-8 Перейти в каталог НБ ТГУ |
Similar Items
-
Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings /
Published: (2014) -
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings /
Published: (2013) -
Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings /
by: Carbonell, Jaime G.
Published: (2008) -
Algorithmic Learning Theory (vol. # 3734) 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings
by: Jain, Sanjay
Published: (2005) -
Algorithmic Learning Theory (vol. # 4264) 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings
by: Balcázar, José L.
Published: (2006)