000			00561nmm a2200145Ia 4500
008			230125s9999||||xx |||||||||||||||||und||
020			_a9789401704373
100			_aWolfgang Bibel, P.H. Schmitt
245		0	_aAutomated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
250			_a1998
260			_bSpringer Netherlands _c1998
440			_aApplied Logic Series
650			_aMathematics and Statistics
856			_uhttps://doi.org/10.1007/978-94-017-0437-3
999			_c5742 _d5742