Proof technology and computation [electronic resource] / edited by Helmut Schwichtenberg and Katharina Spies.
By: NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany).
Contributor(s): Schwichtenberg, Helmut
| Spies, Katharina | ebrary, Inc
.
Series: NATO science seriesSeries IIIComputer and systems sciences: v. 200.Publisher: Amsterdam ; Washington, DC : IOS Press, c2006Description: vii, 445 p.Subject(s): Automatic theorem proving -- Congresses | Computer programming -- Congresses | Computer software -- Development -- CongressesGenre/Form: Electronic books.DDC classification: 511.3 Online resources: An electronic book accessible through the World Wide Web; click to view
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
511.3 (Browse shelf) | Available |
"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.
TSLHHL
Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.