000			00402nam a2200133Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9781607507192 _c(pbk)
082			_223 _a511.36028563 _bSCH
100			_aSchiller, Marvin R. G.
245		0	_aGranularity analysis for tutoring mathematical proofs
260			_aHeidelberg: _bIOS Press, _c2011
300			_axx, 247 p.; _bill.: _c22 cm.
942			_2ddc _cBK
999			_c21394 _d21394