Coverart for item
The Resource 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, edited by W. Bibel and R. Kowalski

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, edited by W. Bibel and R. Kowalski

Label
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Title
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Statement of responsibility
edited by W. Bibel and R. Kowalski
Creator
Contributor
Subject
Genre
Member of
Series statement
Lecture notes in computer science
Series volume
87
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, edited by W. Bibel and R. Kowalski
Label
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, edited by W. Bibel and R. Kowalski
Publication
Note
Includes bibliographies
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9780387100098&userID=ebsco-test&password=ebsco-test
Dimensions
24 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b1017228'}
Extent
vii, 385 p.
Isbn
9780387100098
Isbn Type
(U.S.)
Lccn
80-18708
Other physical details
ill.

Library Locations

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