Proof technology and computation
By: edited by Helmut Schwichtenberg and Katharina Spies.
Contributors: Schwichtenberg, Helmut, 1942-; Spies, Katharina.
Series: NATO science series -- v. 200
Publisher: IOS Press
Published: 2006
Place of publication: Amsterdam; Washington, DC
Language: eng
Number of pages: 445
ISBN-13: 9781586036256
Subjects: Automatic theorem proving -- Congresses; Computer programming -- Congresses; Computer software -- Development -- Congresses
Genres: Congresses.
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."

Includes bibliographical references and index.