000 01172nam a22002777a 4500
001 sulbI000685
003 BD-SySUS
005 20160522153005.0
008 160522s2012 nyu 000 0 eng
020 _a9783642313738 (soft cover : alk. paper)
020 _a3642313736 (soft cover : alk. paper)
040 _aDLC
_cDLC
_bBD-SySUS
_dBD-SySUS
082 _222
_a006.3
_bINT
245 0 0 _aIntelligent computer mathematics :
_b11th 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 /
_c[edited by] Johan Jeuring, John A. Campbell, Jacques Carette.
250 _a1st ed.
260 _aNew York :
_bSpringer,
_c2012.
263 _a1206
300 _axviii, 471 p. :
_bill. ;
_c22 cm.
490 0 _aLecture notes in artificial intelligence ;
_v7362
504 _aIncludes bibliography and index.
650 0 _aIntelligent computer.
_924563
700 _aJeuring, Johan
_924564
700 _aA. Campbell, John
_924565
700 _aCarette, Jacques
_924567
942 _2ddc
_cBK
999 _c60614
_d60614