TY  - BOOK
AU  - Wos,Larry
AU  - Veroff,Robert
AU  - Pieper,Gail W.
TI  - Automated reasoning and its applications: essays in honor of Larry Wos 
SN  - 0262220555 
AV  - QA76.9.A96 Au8 1997
U1  - 511.3 21
PY  - 1997///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Automatic theorem proving
N1  - "Bibliography of Larry Wos": p. [235]-241; Includes bibliographical references and index
ER  -