000			00657nam a2200217Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9783540741046 _c(hbk)
082			_223 _a518.1 _bKRO
100			_aKroening, Daniel
245		0	_aDecision procedures : an algorithmic point of view
260			_aBerlin: _bSpringer, _c2008
300			_axvi, 304 p.; _bill.: _c24 cm.
490			_aTexts in theoretical computer science
650			_aComputer science
650			_aDecision making -- Mathematical models
650			_aInformation theory
650			_aLogic design
650			_aSoftware engineering
700			_aStrichman, Ofer
942			_2ddc _cBK
999			_c22447 _d22447