Coverart for item
The Resource Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings, edited by R.E. Shostak

Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings, edited by R.E. Shostak

Label
Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
Title
Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984
Title remainder
proceedings
Statement of responsibility
edited by R.E. Shostak
Creator
Contributor
Subject
Genre
Member of
Series statement
Lecture notes in computer science
Series volume
170
Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings, edited by R.E. Shostak
Label
Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings, edited by R.E. Shostak
Publication
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographies
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9780387960227&userID=ebsco-test&password=ebsco-test
Dimensions
24 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b1126292'}
Extent
vi, 508 p.
Isbn
9780387960227
Isbn Type
(U.S. : pbk.)
Lccn
84-5441
Other physical details
ill.

Library Locations

    • Folsom LibraryBorrow it
      110 8th St, Troy, NY, 12180, US
      42.729766 -73.682577
Processing Feedback ...