Kaliszyk, Cezary books & textbook
Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. (Lecture Notes in Artificial Intelligence)
Kerber, Manfred Carette, Jacques Kaliszyk, Cezary Rabe, Florian Sorge, Volker
Springer /2015-06-29 Paperback / 380 Pages
isbn-10: 3319206141 / isbn-13: 9783319206141
Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings (Lecture Notes in Artificial Intelligence)
Kaliszyk, Cezary Brady, Edwin Kohlhase, Andrea Sacerdoti Coen, Claudio
Springer /2019-07-03 Paperback / 320 Pages
isbn-10: 3030232492 / isbn-13: 9783030232498