Coverart for item
The Resource Proof technology and computation, edited by Helmut Schwichtenberg and Katharina Spies, (electronic resource)

Proof technology and computation, edited by Helmut Schwichtenberg and Katharina Spies, (electronic resource)

Label
Proof technology and computation
Title
Proof technology and computation
Statement of responsibility
edited by Helmut Schwichtenberg and Katharina Spies
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
MiAaPQ
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
NATO science series. Series III, Computer and systems sciences,
Series volume
v. 200
Proof technology and computation, edited by Helmut Schwichtenberg and Katharina Spies, (electronic resource)
Label
Proof technology and computation, edited by Helmut Schwichtenberg and Katharina Spies, (electronic resource)
Link
http://libproxy.rpi.edu/login?url=https://ebookcentral.proquest.com/lib/connectny/detail.action?docID=267724
Publication
Note
  • "Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso
  • "Published in cooperation with NATO Public Diplomacy Division."
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographical references and index
Color
multicolored
Dimensions
unknown
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b3996776'}
Extent
vii, 445 p.
Form of item
  • online
  • electronic
Reproduction note
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Specific material designation
remote

Library Locations

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