An edition of Intelligent Computer Mathematics
(2016)
Intelligent Computer Mathematics
9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, and Frank Tompa
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Artificial intelligence| Edition | Availability |
|---|---|
1
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
2020, Springer International Publishing AG
in English
3030535177 9783030535179
|
zzzz
|
2
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Jul 12, 2016, Springer
paperback
3319425463 9783319425467
|
aaaa
|
Book Details
Edition Notes
Source title: Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (Lecture Notes in Computer Science (9791))
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
| October 5, 2021 | Edited by ImportBot | import existing book |
| April 24, 2020 | Created by ImportBot | import new book |