000			00605nam a2200193Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9810239106 _c(hbk)
082			_223 _a511.3028553 _bWOS
100			_aWos, Larry
245		0	_aFascinating country in the world of computing : your guide to automated reasoning
260			_aSingapore: _bWorld Scientific, _c1999
300			_axx, 587 p.; _b: _c23 cm.
650			_aArtificial intelligence
650			_aAutomatic theorem proving
650			_aComputer programming
650			_aOtter (Computer file)
700			_aPieper, Gail W.
942			_2ddc _cBK
999			_c9706 _d9706