000			00419nam a2200145Ia 4500
008			211224s9999 xx 000 0 und d
020			_a9783540613985
082			_a006.3 MCC
100			_aMcCune, W
245		0	_aAutomated deduction in equational logic and cubic curves
260			_aNew York: _bSpringer, _c1996
300			_aix, 231 p. : ill. ; 24 cm
650			_aArtificial Intelligence
700			_aPadmanabhan, R
999			_c24830 _d24830