Amazon cover image
Image from Amazon.com
Image from Google Jackets

Automated reasoning and its applications : essays in honor of Larry Wos

Contributor(s): Material type: TextTextPublication details: Cambridge, Mass: MIT Press, 1997Description: viii, 247 p. ; 24 cm., hbk. : alk. paperISBN:
  • 9780262220552
Subject(s): DDC classification:
  • 511.3 VER
Item type:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

There are no comments on this title.

to post a comment.

Powered by Koha