Coverart for item
The Resource 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings, M.E. Stickel, (ed.)

10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings, M.E. Stickel, (ed.)

Label
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings
Title
10th International Conference on Automated Deduction
Title remainder
Kaiserslautern, FRG, July 24-27, 1990 : proceedings
Statement of responsibility
M.E. Stickel, (ed.)
Creator
Contributor
Subject
Genre
Member of
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
449.
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings, M.E. Stickel, (ed.)
Label
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings, M.E. Stickel, (ed.)
Publication
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographical references and author index
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9783540528852&userID=ebsco-test&password=ebsco-test
Dimensions
25 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b1202123'}
Extent
xvi, 688 p.
Isbn
9783540528852
Isbn Type
(Berlin)
Lccn
90-10125
Other physical details
ill.

Library Locations

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