Automated reasoning: Essays in Honor of Woody Bledsoe

Bibliographic Details
Other Authors: Boyer, Robert S (Editor)
Format: Printed Book
Published: Kluwer Academic Publishers, Dordrecht 1991
Subjects:
Computer science

Similar Items