Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies.

• Superior document: NATO science series. Series III, Computer and systems sciences, v. 200
• Author: NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany)
• TeilnehmendeR: Schwichtenberg, Helmut, 1942-; Spies, Katharina.; ProQuest (Firm)
• Year of Publication: 2006
• Language: English
• Series: NATO science series. Computer and systems sciences ; v. 200.
• Physical Description: vii, 445 p.
• Notes: "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: Includes bibliographical references and index.
• ISBN: 1586036254; 9781586036256
• ISSN: 1387-6694
• Hierarchical level: Monograph
• Statement of Responsibility: edited by Helmut Schwichtenberg and Katharina Spies.