Results
|
|
1.
|
Intelligent computer mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings / Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9150. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015
Availability: Items available for loan: e-Library (1).
|
|
|
2.
|
Intelligent computer mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings / Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10383. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
3.
|
Intelligent computer mathematics : 11th international conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, proceedings / Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef (Eds.). by Series: Lecture notes in computer science ; 11006. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, [2018]
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|