000 00433nam a2200133Ia 4500
008 211224s9999 xx 000 0 und d
020 _a9780262220552
082 _a511.3 VER
245 0 _aAutomated reasoning and its applications : essays in honor of Larry Wos
260 _aCambridge, Mass:
_bMIT Press,
_c1997
300 _aviii, 247 p. ; 24 cm., hbk. : alk. paper
650 _aAutomatic theorem proving
700 _aPieper, Gail W
999 _c24846
_d24846