Automated reasoning : essays in honor of Woody Bledsoe /

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.