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)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
ATU Book ATU Book SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY
General Stacks
QA76.9.A96 Au8 1997 (Browse shelf(Opens below)) Available 0000003195
Total holds: 0

"Bibliography of Larry Wos": p. [235]-241.

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.

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


^