| 000 | 00910nam a2200241 a 4500 | ||
|---|---|---|---|
| 001 | vtls000014303 | ||
| 003 | KUKTEM | ||
| 005 | 20251117142450.0 | ||
| 008 | 060712t2004 e 000 0 eng d | ||
| 020 | _a1402026528 | ||
| 039 | 9 |
_a201107131828 _bVLOAD _c201003171005 _dida _c200908141218 _dVLOAD _c200908141149 _dVLOAD _y200607120940 _zdilla |
|
| 040 | _aUMP | ||
| 090 | _aQA76.9.A96 C34 2004 | ||
| 100 | 1 | _aCaferra, Ricardo. | |
| 245 | 1 | 0 |
_aAutomated model building / _cby Ricardo Caferra, Alexander Leitsch and Nicholas Peltier |
| 260 |
_aDordrecht ; London : _bKluwer Academic, _c2004. |
||
| 300 |
_axi, 341 p. : _bill. ; _c25 cm. |
||
| 440 | _aApplied logic series v. 31. | ||
| 500 | _aIncludes bibliographical references (p. 327-341). | ||
| 650 | 0 | _aAutomatic theorem proving. | |
| 650 | 0 | _aApplied logic | |
| 999 |
_aVIRTUA40 _c29724 _d29730 |
||
| 999 | _aVTLSSORT0080*0200*0400*0900*1000*2450*2600*3000*4400*5000*6500*6501*9991 | ||