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

Proof technology and computation, edited by Helmut Schwichtenberg and Katharina Spies

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
TXA
Index
index present
Literary form
non fiction
Nature of contents
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
Label
Proof technology and computation, edited by Helmut Schwichtenberg and Katharina Spies
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
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9781586036256&userID=ebsco-test&password=ebsco-test
Dimensions
25 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b2160650'}
Extent
vii, 445 p.
Isbn
9781586036256
System control number
(OCoLC)77528062

Library Locations

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