000			00468nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540706359
100			_aJacques Calmet, Carla Limongelli
245		0	_aDesign and Implementation of Symbolic Computation Systems
250			_a1996
260			_bSpringer Berlin Heidelberg _c1996
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/3-540-61697-7
999			_c25612 _d25612