| 000 | 00779nam a2200241Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s2002##################000#0#eng## | ||
| 020 | _a9783540433767 | ||
| 022 | _a2002020906 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a006.3 NIP | ||
| 100 | _aNipkow, Tobias | ||
| 245 |
_aIsabelle/HOL : a proof assistant for higher-order logic _cTobias Nipkow, Lawrence C. Paulson, Markus Wenzel |
||
| 260 |
_aBerlin ; New York _bSpringer _cc2002 |
||
| 300 | _axiii, 218 p. : ill. ; 24 cm | ||
| 500 | _aIncludes bibliographical references (p. [209]-211) and index | ||
| 650 | _aAutomatic theorem proving | ||
| 650 | _aComputer logic | ||
| 700 | _aPaulson, Lawrence C | ||
| 700 | _aWenzel, Markus | ||
| 990 | _aa3a9bccdac10000c661c27c1ca178608 | ||
| 991 | _a106835 | ||
| 999 |
_c221286 _d221286 |
||