000			00502nam a2200169Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9810249985 _c(hbk)
082			_223 _a511.36028563 _bWOS
100			_aWos, Larry
245		0	_aCollected works of Larry Wos. Volume 2
260			_aSingapore: _bWorld Scientific, _c2000
300			_axvii, 829 - 1639 pp.; _b2 v.: _c23 cm.
650			_aArtificial intelligence
650			_aAutomatic theorem proving
700			_aPieper, Gail W.
942			_2ddc _cBK
999			_c9745 _d9745