Proof technology and computation /
NATO Advanced Study Institute on Proof Technology and Computation(2003 :Marktoberdorf, Germany)
Schwichtenberg, Helmut,1942-
Spies, Katharina.
North Atlantic Treaty Organization.Public Diplomacy Division.
Amsterdam ; Washington, DC : IOS Press,
c2006.
"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.
Automatic theorem proving
Computer programming
Computer software