Cover Image

Automated reasoning : essays in honor of Woody Bledsoe /

Show other versions (1)
Bibliographic Details
Other Authors: Bledsoe, W. W., Boyer, Robert S.
Format: Book
Language:English
Published: Dordrecht ; Boston : Kluwer Academic Publishers, [1991]
Series:Automated reasoning series ; v. 1.
Subjects:
Automatic theorem proving.
Artificial intelligence.
Description
Physical Description:xi, 365 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0792314093 (HB : acid free paper)