02028nam a2200421Ia 4500001001200000003000800012005001700020006001900037007001500056008004100071020001500112020001800127024001800145040002100163035002100184050002700205082001400232090001900246111011200265245011600377260005400493300001600547490008900563500015200652500006800804504005100872533015200923650005101075650004601126650005601172655003401228700004301262700003001305710002201335830009901357856013101456999001901587ebr10152502CaPaEBR20260707182702.0m        u        cr cn|||||||||070104s2006    ne      sb    101 0 eng d  z1586036254  z97815860362563 z9781586036256  aCaPaEBRcCaPaEBR  a(OCoLC)64763284714aQA76.9.A96bN38 2006eb04a511.3222  c138537d1097892 aNATO Advanced Study Institute on Proof Technology and Computationd(2003 :cMarktoberdorf, Germany)918564010aProof 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,d2009.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aAutomatic theorem provingvCongresses.9185641 0aComputer programmingvCongresses.9185642 0aComputer softwarexDevelopmentvCongresses.9120667 7aElectronic books.2local91901 aSchwichtenberg, Helmut,d1942-91856431 aSpies, Katharina.91856442 aebrary, Inc.9191 0aNATO science series.nSeries III,pComputer and systems sciencesx1387-6694 ;vv. 200.918564540uhttp://site.ebrary.com/lib/strathmore/Doc?id=10152502zAn electronic book accessible through the World Wide Web; click to view  c138537d109789