Image from Google Jackets
Image from OpenLibrary

Automated reasoning: Essays in Honor of Woody Bledsoe Robert S Boyer

By: Contributor(s): Material type: TextTextSeries: Publication details: Kluwer Academic Publishers, Dordrecht 1991Edition: Description: Subject(s): DDC classification:
  • 004 BOY-A
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Home library Call number Status Date due Barcode
Book Book Dept. of Mathematics Processing Center Dept. of Mathematics 004 BOY-A (Browse shelf(Opens below)) Available MAT4118

There are no comments on this title.

to post a comment.