Automated reasoning
Subtitle: essays in honor of Woody Bledsoe
By: edited by Robert S. Boyer.
Contributors: Bledsoe, W. W.; Boyer, Robert S.
Series: Automated reasoning series ;; v. 1
Publisher: Kluwer Academic Publishers
Published: 1991
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 365
Subjects: Automatic theorem proving.; Artificial intelligence.
Notes: Includes bibliographical references and index.