| 000 | 01081nam a2200265 a 4500 | ||
|---|---|---|---|
| 001 | vtls000023331 | ||
| 003 | KUKTEM | ||
| 005 | 20251117144453.0 | ||
| 008 | 080107s2006 ne f 001 0 eng|d | ||
| 020 | _a1586036254 | ||
| 039 | 9 |
_a201107131947 _bVLOAD _c201009020924 _dida _c200908141359 _dVLOAD _c200908141331 _dVLOAD _y200801071029 _zkam |
|
| 040 | _aUMP | ||
| 090 | _aQA76.9.A96 P76 2006 | ||
| 245 | 0 | 0 |
_aProof technology and computation / _cedited by Helmut Schwichtenberg and Katharina Spies |
| 260 |
_aAmsterdam : _bIOS Press, _c2006 |
||
| 300 |
_a445 p. : _bill. ; _c25 cm. |
||
| 440 | 0 |
_aNATO science series. Series III, Computer and systems sciences 1387-6694 _vv. 200 |
|
| 650 | 0 |
_aAutomatic theorem proving _vCongresses |
|
| 650 | 0 |
_aComputer programming _vCongresses |
|
| 650 | 0 |
_aComputer software _xDevelopment _vCongresses |
|
| 700 | 1 | _aSchwichtenberg, Helmut | |
| 700 | 1 | _aSpies, Katharina | |
| 856 | 4 | 2 | _uhttp://www.loc.gov/catdir/toc/fy0707/2006927922.html |
| 999 |
_aVIRTUA40 _c36978 _d36984 |
||
| 999 | _aVTLSSORT0080*0200*0400*0900*2450*2600*3000*4400*6500*6501*6502*7000*7001*8560*9991 | ||