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...
Full description
Bibliographic Details
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Other Authors: |
Kerber, Manfred
(Editor),
Carette, Jacques
(Editor),
Kaliszyk, Cezary
(Editor),
Rabe, Florian
(Editor),
Sorge, Volker
(Editor) |
|---|
| Format: | Electronic
eBook
|
|---|
| Language: | English |
|---|
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
|---|
| Series: | Lecture Notes in Computer Science,
9150
|
|---|
| Subjects: | |
|---|
| Online Access: | Full Text via HEAL-Link
|
|---|
