000 00572nam a22002177a 4500
005 20150421171721.0
008 150421b xxu||||| |||| 00| 0 eng d
020 _a9783319114446
040 _aNISER LIBRARY
041 _aEnglish
082 _a517.91
_bROB-F
100 _aRobertz, Daniel
245 _aFormal algorithmic elimination ffor pdes
260 _aNew York
_bSpringer
_c2014
300 _aviii, 283p. pbk.
440 _aLecture notes in mathematics, Vol. 2121
650 _aMATHEMATICS
650 _aALGORITHEM
700 _aELIMINATION
942 _cBK
999 _c22656
_d22656