Home | Help | New Search | 中文模式

AS Library Service 


Start Over Export MARC Display Return To Browse Another Search
   
Record 4 of 4
Record:   Prev Next
Author 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
 book jacket
Click on the following to:
eBook(IOS)
Descript vii, 445 p. ; 25 cm
Series NATO science series. Series III, Computer and systems sciences, 1387-6694 ; 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."
Includes bibliographical references and index
Subject Automatic theorem proving -- Congresses
Computer programming -- Congresses
Computer software -- Development -- Congresses
Alt Author Schwichtenberg, Helmut, 1942-
Spies, Katharina
Record 4 of 4
Record:   Prev Next
Start Over Export MARC Display Return To Browse Another Search


Home | Help | 中文模式