Automated reasoning and its applications : essays in honor of Larry Wos / edited by Robert Veroff, with Gail W. Pieper.

Contributor(s): Wos, Larry | Veroff, Robert | Pieper, Gail WMaterial type: TextTextPublication details: Cambridge, Mass. : MIT Press, c1997Description: viii, 247 p. ; 24 cmISBN: 0262220555 Subject(s): Automatic theorem provingDDC classification: 511.3 LOC classification: QA76.9.A96 | Au8 1997
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)
Total holds: 0


© 2024. All Right Reserved. Property of Accra Technical University


Designed & Maintained by ATU LIBRARY
Contact: university-library@atu.edu.gh
^