Cover image for Proof technology and computation [electronic resource] / edited by Helmut Schwichtenberg and Katharina Spies.
Proof technology and computation [electronic resource] / edited by Helmut Schwichtenberg and Katharina Spies.
Electronic Access:
Bibliographic record display DSU Current Faculty/Staff/Students click here An electronic book accessible through the World Wide Web; click for information
Title:
Proof technology and computation [electronic resource] / edited by Helmut Schwichtenberg and Katharina Spies.
Publisher:
Amsterdam ; Washington, DC : IOS Press,
Publication Date:
2006
ISBN:
9781423797555
Series:
NATO science series. Series III, Computer and systems sciences,
General Note:
Title from eBook title screen (viewed on Aug. 30, 2006).

"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."
Bibliography Note:
Includes bibliographical references and index.
Added Corporate Author:
Language:
English