Coverart for item
The Resource Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings, Alan Bundy (ed.)

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings, Alan Bundy (ed.)

Label
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings
Title
Automated deduction, CADE-12
Title remainder
12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings
Statement of responsibility
Alan Bundy (ed.)
Creator
Contributor
Subject
Genre
Member of
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
814.
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings, Alan Bundy (ed.)
Label
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings, Alan Bundy (ed.)
Publication
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographical references and index
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9780387581569&userID=ebsco-test&password=ebsco-test
Dimensions
24 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b1259955'}
Extent
xvi, 848 p.
Isbn
9780387581569
Isbn Type
(New York : acid-free paper)
Lccn
94-17912
Other physical details
ill.

Library Locations

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