|
|
|
|
| LEADER |
01206nam a2200301 a 4500 |
| 001 |
1963900 |
| 005 |
20171111235852.0 |
| 008 |
970626s enk gr 00010 eng d |
| 020 |
|
|
|a 0521455200
|z (hc)
|
| 082 |
0 |
|
|2 21
|a 005.13/1
|
| 082 |
0 |
0 |
|2 22
|a 005.131
|
| 082 |
0 |
0 |
|2 22
|a 005.131 BAA
|
| 100 |
1 |
0 |
|a Baader, Franz
|
| 245 |
1 |
0 |
|a Term rewriting and all that /
|c Franz Baader and Tobias Nipkow
|
| 260 |
1 |
0 |
|a Cambridge ;
|b Cambridge University Press ,
|c 1998 .
|a New York :
|
| 300 |
1 |
0 |
|a xii, 301 p. :
|b ill. ;
|c 26 cm.
|
| 504 |
1 |
0 |
|a Includes bibliographical references (p. 284-296) and index.
|
| 504 |
1 |
0 |
|a Includes bibliographical references and index
|
| 504 |
1 |
0 |
|a Includes appendixes, bibliography (p.284-296) and index.
|
| 650 |
1 |
0 |
|a Rewriting systems (Computer science)
|
| 650 |
1 |
0 |
|a Rewriting systems (Computer science)
|
| 650 |
1 |
0 |
|a Rewriting systems (Computer science)
|
| 700 |
1 |
0 |
|a Nipkow, Tobias
|
| 700 |
1 |
0 |
|a Nipkow, Tobias,
|
| 700 |
1 |
0 |
|a Nipkow, Tobias
|
| 952 |
|
|
|a GR-AtNTU
|b 59cc25dd6c5ad13446f95c3a
|c 998a
|d 945l
|e 005.131 BAA
|t 1
|x m
|z Books
|
| 952 |
|
|
|a GR-AtTEI
|b 59cc81bf6c5ad13446fdc005
|c 998a
|d 945l
|x m
|z Books
|
| 952 |
|
|
|a GrAtEKP
|b 59cd21a66c5ad13446106f9a
|c 998a
|d 945l
|e 005.131 BaaF t 1998
|t 1
|x m
|z Books
|
