|
|
|
|
LEADER |
01480nam a2200325 a 4500 |
001 |
c000160966 |
003 |
CARM |
005 |
19990202000000.0 |
008 |
850903s1985 gw a b 100 0 eng |
010 |
|
|
|a 85022164 //r872
|
019 |
1 |
|
|a 4213997
|z 64966742
|5 LACONCORD2021
|
020 |
|
|
|a 0387159762
|b (pbk. : U.S.)
|
035 |
|
|
|a (OCoLC)12582911
|5 LACONCORD2021
|
040 |
|
|
|a LC
|b eng
|c LC
|d LC
|
050 |
0 |
0 |
|a QA76.6
|b .R464 1985
|
082 |
0 |
0 |
|a 005
|2 19
|
245 |
0 |
0 |
|a Rewriting techniques and applications :
|b Dijon, France, May 20-22, 1985 /
|c edited by Jean-Pierre Jouannaud.
|
260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1985.
|
300 |
|
|
|a vi, 440 p. :
|b ill. ;
|c 25 cm.
|
440 |
|
0 |
|a Lecture notes in computer science ;
|v 202.
|
500 |
|
|
|a Papers presented at the First International Conference on Rewriting Techniques and Applications, held in Dijon, Burgundy, France, May 20-22, 1985.
|
504 |
|
|
|a Includes bibliographies.
|
650 |
|
0 |
|a Computer programming
|v Congresses.
|
650 |
|
0 |
|a Computer algorithms
|x Congresses.
|
650 |
|
0 |
|a Rewriting systems (Computer science)
|x Congresses.
|
700 |
1 |
|
|a Jouannaud, Jean-Pierre.
|
711 |
2 |
|
|a International Conference on Rewriting Techniques and Applications
|n (1st :,
|d 1985 :
|c Dijon, France)
|
852 |
8 |
|
|b CARM
|h A2:AM13D0
|i C05519
|p 0212125
|f BK
|
999 |
f |
f |
|i 15b650d6-cef7-5f01-b11c-24674623bfa4
|s c6b1ee2b-53d2-57e7-ac36-5ef5142dbf16
|
952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05519
|f A2:AM13D0
|h Other scheme
|i book
|m 0212125
|