| 000 | 00719 a2200217 04500 | ||
|---|---|---|---|
| 001 | 9538 | ||
| 008 | 050624s2002 eng d | ||
| 020 | _a3540433767 | ||
| 041 | 0 | _aeng | |
| 082 | 0 |
_a004.01 _bN464i |
|
| 100 | 4 | 0 |
_aNipkow, Tobias _923299 |
| 245 | 0 |
_aIsabelle/ _cHol: _ba proof assistant for higher-order logic / Tobias Nipkow |
|
| 260 | 4 |
_aBerlin: _bSpringer _c2002. |
|
| 300 | 4 | _a218 p. | |
| 504 | 4 | _aIncluye bibliografía e índice p. 209 | |
| 650 |
_aCOMPUTER LOGIC _923300 |
||
| 650 |
_aAUTOMATIC THEOREM PROVING _923301 |
||
| 700 | 4 | 0 |
_aPaulson, Lawrence C., Wenzel, Markus, _923302 |
| 942 |
_2ddc _cBK |
||
| 999 |
_c9299 _d9299 |
||