Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
E-Books/E-Docs
Conference NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany)

Title Proof technology and computation [electronic resource] / edited by Helmut Schwichtenberg and Katharina Spies.

Imprint Amsterdam ; Washington, DC : IOS Press, c2006.

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description vii, 445 p.
Series NATO science series. Series III, Computer and systems sciences, 1387-6694 ; v. 200
NATO science series. Series III, Computer and systems sciences ; v. 200.
Note "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.
Reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject Automatic theorem proving -- Congresses.
Computer programming -- Congresses.
Computer software -- Development -- Congresses.
Genre/Form Electronic books.
Added Author Schwichtenberg, Helmut, 1942-
Spies, Katharina.
ProQuest (Firm)
ISBN 1586036254
9781586036256
Standard No. 9781586036256

 
    
Available items only