Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Cham: Springer International Publishing, Imprint: Springer, 2016
Online
Sammelwerk, Elektronische Ressource
- 1 Online-Ressource (XIV, 163 p. 21 illus)
Ermittle Ausleihstatus...
Titel: |
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
|
---|---|
Verantwortlichkeitsangabe: | edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa |
Autor/in / Beteiligte Person: | Kohlhase, Michael ; Johansson, Moa ; Miller, Bruce ; de Moura, Leonardo ; Tompa, Frank |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Cham: Springer International Publishing, Imprint: Springer, 2016 |
Medientyp: | Sammelwerk |
Datenträgertyp: | Elektronische Ressource |
Umfang: | 1 Online-Ressource (XIV, 163 p. 21 illus) |
ISBN: | 9783319425474 |
DOI: | 10.1007/978-3-319-42547-4 |
Schlagwort: |
|
Sonstiges: |
|