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