000			00391nam a2200133Ia 4500
008			211119s9999||||xx |||||||||||||| ||und||
082			_a511.8 _bHAC-L
100			_aHachtel, Gary D
245		0	_aLogic Synthesis and Verification Algorithms
260			_bSpringer _aVerlag London _c1996
300			_a564p
650			_aNatural Sciences _vMathematicsMathematics _xGeneral Stack
942			_cBOOK
999			_c104314 _d104314