01884nam a2200397Ia 4500001001200000003000800012006001900020007001500039008004100054020001500095020001800110024001800128040002100146035002100167050002700188082001400215111010400229245011600333260005400449300001600503490008900519500015200608500006800760504005100828533015200879650004301031650003801074650004801112655002901160700003501189700002201224710001701246830008001263856012601343999001701469ebr10152502CaPaEBRm        u        cr cn|||||||||070104s2006    ne      sb    101 0 eng d  z1586036254  z97815860362563 z9781586036256  aCaPaEBRcCaPaEBR  a(OCoLC)56796643714aQA76.9.A96bN38 2006eb04a511.32222 aNATO Advanced Study Institute on Proof Technology and Computationd(2003 :cMarktoberdorf, Germany)10aProof technology and computationh[electronic resource] /cedited by Helmut Schwichtenberg and Katharina Spies.  aAmsterdam ;aWashington, DC :bIOS Press,cc2006.  avii, 445 p.1 aNATO science series. Series III, Computer and systems sciences,x1387-6694 ;vv. 200  a"Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso.  a"Published in cooperation with NATO Public Diplomacy Division."  aIncludes bibliographical references and index.  aElectronic reproduction.bPalo Alto, Calif. :cebrary,d2011.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aAutomatic theorem provingvCongresses. 0aComputer programmingvCongresses. 0aComputer softwarexDevelopmentvCongresses. 7aElectronic books.2local1 aSchwichtenberg, Helmut,d1942-1 aSpies, Katharina.2 aebrary, Inc. 0aNATO science series.nSeries III,pComputer and systems sciences ;vv. 200.40uhttp://site.ebrary.com/lib/rucke/Doc?id=10152502zAn electronic book accessible through the World Wide Web; click to view  c95529d95529