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 |