| 000 | 00604nam a2200205Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1998##################000#0#eng## | ||
| 020 | _a9783540655091 | ||
| 022 | _a99010004 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a006.3 BAU | ||
| 100 | _aBaumgartner, Peter | ||
| 245 |
_aTheory reasoning in connection calculi _cPeter Baumgartner |
||
| 260 |
_aBerlin _bSpringer _cc1998 |
||
| 300 | _aix, 283 p. : ill. ; 23 cm | ||
| 500 | _aIncludes bibliographical references and index | ||
| 650 | _aAutomatic theorem proving | ||
| 990 | _a99153b8dac10000c0908e7fd53a20f0a | ||
| 991 | _a104459 | ||
| 999 |
_c77524 _d77524 |
||