|
|
1.
|
Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. by
- Carette, Jacques [editor.]
- Aspinall, David [editor.]
- Lange, Christoph [editor.]
- Sojka, Petr [editor.]
- Windsteiger, Wolfgang [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7961
Source: Springer eBooks
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
2.
|
Intelligent computer mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems And Projects, Held As Part Of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / [edited by] Johan Jeuring, John A. Campbell, Jacques Carette. by
- Jeuring, Johan
- A. Campbell, John
- Carette, Jacques
Series: Lecture notes in artificial intelligence ; 7362
Edition: 1st ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Springer, 2012
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.3 INT, ...
|
