Automated reasoning : Introduction and applications Overbeek, Ross, Jt. Auth.; (Lusk, Ewing), Jt. Auth<>Wos, Larry

By:

Contributor(s):

Material type: Text

TextPublication details: New York,USA: McGraw-Hill, 1992Edition: 2ndDescription: 656 pISBN:

Subject(s):

DDC classification:

Item type:

Permanently weeded out collection

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
UMT Main Campus	006.3 WOS-A (Browse shelf(Opens below))	Not for loan		3392

There are no comments on this title.

to post a comment.