000 | 01060cam a2200289 a 4500 | ||
---|---|---|---|
001 | 3527439 | ||
003 | OSt | ||
005 | 20201204151108.0 | ||
008 | 961202s1997 mau b 001 0 eng | ||
010 | _a 96051916 | ||
020 | _a0262220555 | ||
040 |
_aDLC _cATU _dDLC |
||
050 | 0 | 0 |
_aQA76.9.A96 _bAu8 1997 |
082 | 0 | 0 |
_a511.3 _221 |
245 | 0 | 0 |
_aAutomated reasoning and its applications : _bessays in honor of Larry Wos / _cedited by Robert Veroff, with Gail W. Pieper. |
260 |
_aCambridge, Mass. : _bMIT Press, _cc1997. |
||
300 |
_aviii, 247 p. ; _c24 cm. |
||
500 | _a"Bibliography of Larry Wos": p. [235]-241. | ||
504 | _aIncludes bibliographical references and index. | ||
650 | 0 |
_aAutomatic theorem proving. _95578 |
|
700 | 1 |
_aWos, Larry. _95579 |
|
700 | 1 |
_aVeroff, Robert. _95580 |
|
700 | 1 |
_aPieper, Gail W. _95581 |
|
906 |
_a7 _bcbc _corignew _d1 _eocip _f19 _gy-gencatlg |
||
942 |
_2lcc _cBOOK |
||
999 |
_c2646 _d2646 |