|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings / edited by James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe. by Davenport, James H [editor.] | Farmer, William M [editor.] | Urban, Josef [editor.] | Rabe, Florian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6824Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings / edited by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke. by Geuvers, Herman [editor.] | England, Matthew [editor.] | Hasan, Osman [editor.] | Rabe, Florian [editor.] | Teschke, Olaf [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10383 | Lecture Notes in Computer Science ; 10383Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge. by Kerber, Manfred [editor.] | Carette, Jacques [editor.] | Kaliszyk, Cezary [editor.] | Rabe, Florian [editor.] | Sorge, Volker [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9150 | Lecture Notes in Computer Science ; 9150Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
