Automated reasoning and its applications
Subtitle: essays in honor of Larry Wos
By: edited by Robert Veroff, with Gail W. Pieper.
Contributors: Wos, Larry.; Veroff, Robert.; Pieper, Gail W.
Publisher: MIT Press; The MIT Press
Published: 1997
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 247
Subjects: Automatic theorem proving.
Notes: Includes bibliographical references and index.
"Bibliography of Larry Wos": p. [235]-241.