01081nam a2200265 a 4500 vtls000023331 KUKTEM 20251117144453.0 080107s2006 ne f 001 0 eng|d 1586036254 201107131947 VLOAD 201009020924 ida 200908141359 VLOAD 200908141331 VLOAD 200801071029 kam UMP QA76.9.A96 P76 2006 Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies Amsterdam : IOS Press, 2006 445 p. : ill. ; 25 cm. NATO science series. Series III, Computer and systems sciences 1387-6694 v. 200 Automatic theorem proving Congresses Computer programming Congresses Computer software Development Congresses Schwichtenberg, Helmut Spies, Katharina http://www.loc.gov/catdir/toc/fy0707/2006927922.html 0 0 0 0 20000 20000 2019-09-04 0 QA76.9.A96 P76 2006 0000027415 2019-09-04 00:00:00 1 2019-09-04 OPEN VIRTUA40 36978 36984 VTLSSORT0080*0200*0400*0900*2450*2600*3000*4400*6500*6501*6502*7000*7001*8560*9991