|
|
|
|
LEADER |
01431nam a2200325 a 4500 |
001 |
c000160701 |
003 |
CARM |
005 |
20080716113213.0 |
008 |
870515s1987 wb a b 100 0 eng |
010 |
|
|
|a 87012934 //r91
|
019 |
1 |
|
|a 5359783
|z 45113083
|5 LACONCORD2021
|
020 |
|
|
|a 0387172203 (U.S. : pbk.)
|
035 |
|
|
|a (OCoLC)15792784
|5 LACONCORD2021
|
040 |
|
|
|a LC
|b eng
|c LC
|d LC
|
050 |
0 |
0 |
|a QA267
|b .R48 1987
|
082 |
0 |
0 |
|a 511.3
|2 19
|
245 |
0 |
0 |
|a Rewriting techniques and applications :
|b Bordeaux, France, May 25-27, 1987, proceedings /
|c edited by Pierre Lescanne.
|
260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1987.
|
300 |
|
|
|a vi, 285 p. :
|b ill. ;
|c 25 cm.
|
440 |
|
0 |
|a Lecture notes in computer science ;
|v 256.
|
500 |
|
|
|a Proceedings of the Second International Conference on Rewriting Techniques and Applications.
|
504 |
|
|
|a Includes bibliographies.
|
650 |
|
0 |
|a Rewriting systems (Computer science)
|x Congresses.
|
650 |
|
0 |
|a Computer programming
|v Congresses.
|
650 |
|
0 |
|a Computer algorithms
|x Congresses.
|
700 |
1 |
|
|a Lescanne, Pierre.
|
711 |
2 |
|
|a International Conference on Rewriting Techniques and Applications
|n (2nd :,
|d 1987 :
|c Bordeaux, France)
|
852 |
8 |
|
|b CARM
|h A2:AL20E0
|i C05352
|p 0212370
|f BK
|
999 |
f |
f |
|i d985b85d-3841-5fed-92b1-d1757742702b
|s ccff66ad-b97f-55b7-b6e4-6ec02a8edf36
|
952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05352
|f A2:AL20E0
|h Other scheme
|i book
|m 0212370
|