000			00636nam a2200229Ia 4500
003			OSt
005			20240919164704.0
008			240404s9999 xx 000 0 und d
040			_ceng
082			_a511.3
082			_a511.36028563
082			_a516.35
100			_aMcCune, W.
245		0	_aAutomated Deduction In Equational Logic And Cubic Curves / _cW. McCune, R. Padmanabhan
260			_aBerlin: _bSpringer, _c1996
300			_a231 p.
650			_aMathematical logic (Symbolic logic)
650			_aAutomatic theorem proving
650			_aAlgebraic geometry
700			_aPadmanabhan, R.
942			_aIMAR _cCART _2ddc
999			_c36219 _d36219