000			00517nam a2200157Ia 4500
008			191030s9999 xx 000 0 und d
020			_a978-3-540-73147-4
100			_aHubert Comon-Lundh, Claude Kirchner, Hélène Kirchner
245		0	_aRewriting, Computation and Proof
260			_aGermany _bSpringer _c2007
536			_aManagement
650			_aComputer Science
650			_aRewriting, Computation and Proof
856			_uhttp://link.springer.com/openurl?genre=book&isbn=978-3-540-73146-7
942			_cE_BOOK
999			_c59117 _d59117