| 000 | 00558nam a22001937a 4500 | ||
|---|---|---|---|
| 005 | 20250713164251.0 | ||
| 008 | 250713b |||||||| |||| 00| 0 eng d | ||
| 020 |
_a0521779200 _qpbk |
||
| 041 | _aeng | ||
| 082 |
_a005.13 _bBAA |
||
| 100 | _a Baader, Franz | ||
| 245 |
_aTerm Rewriting And All That _b: _c/ Franz Baader |
||
| 260 |
_aUk _bCambridge Univ. Press _cc1998 |
||
| 300 |
_axii, 301 p. _bill. _c23 cm. |
||
| 504 | _aindex | ||
| 650 | _aUniversal Algebra; Equational Problems; Combination Problems | ||
| 700 | _aTobias Nipkow | ||
| 942 | _cENGLISH | ||
| 999 |
_c575551 _d575551 |
||