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.

Conference Author
NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany)

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 Author
Schwichtenberg, Helmut, 1942-
 
Spies, Katharina.

Added Corporate Author
NetLibrary, Inc.

Genre
Electronic books.

Language
English

Subject
Automatic theorem proving -- Congresses.
 
Computer programming -- Congresses.
 
Computer software -- Development -- Congresses.
 
Electronic books.


LibraryCall NumberMaterial Type
DSU Online ResourceQA76.9.A96 N38 2003 ebElectronic Book