|
|
|
|
LEADER |
00000nam a2200000 a 4500 |
001 |
1165244 |
003 |
ICU |
005 |
19950912000000.0 |
008 |
910603s1991 wb a b 10110 eng u |
010 |
|
|
|a 91009825
|
020 |
|
|
|a 3540539042 :
|c DM66.00
|
020 |
|
|
|a 0387539042
|
035 |
|
|
|a (ICU)BID14050701
|
035 |
|
|
|a (OCoLC)23286475
|
040 |
|
|
|a DLC
|c DLC
|d ICU
|
041 |
0 |
|
|a eng
|
050 |
0 |
0 |
|a QA267
|b .I555 1991
|
082 |
0 |
0 |
|a 511.3
|2 20
|
111 |
2 |
|
|a International Conference on Rewriting Techniques and Applications
|n (4th :
|d 1991 :
|c Como, Italy)
|1 http://viaf.org/viaf/177776228
|
245 |
1 |
0 |
|a Rewriting techniques and applications :
|b 4th international conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings /
|c Ronald V. Book, ed.
|
260 |
0 |
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1991.
|
300 |
|
|
|a vii, 458 p. :
|b ill. ;
|c 24 cm.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
440 |
|
0 |
|a Lecture notes in computer science
|v 488
|
504 |
|
|
|a Includes bibliographical references and index.
|
650 |
|
0 |
|a Rewriting systems (Computer science)
|x Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2010111020
|
650 |
|
0 |
|a Electronic digital computers
|x Programming
|x Congresses.
|
650 |
|
0 |
|a Algorithms
|x Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2007100991
|
650 |
|
7 |
|a Algorithms.
|2 fast
|0 http://id.worldcat.org/fast/fst00805020
|
650 |
|
7 |
|a Computer programming.
|2 fast
|0 http://id.worldcat.org/fast/fst00872390
|
650 |
|
7 |
|a Rewriting systems (Computer science)
|2 fast
|0 http://id.worldcat.org/fast/fst01096809
|
655 |
|
7 |
|a Conference papers and proceedings.
|2 fast
|0 http://id.worldcat.org/fast/fst01423772
|
700 |
1 |
0 |
|a Book, Ronald V.
|0 http://id.loc.gov/authorities/names/n80133249
|1 http://viaf.org/viaf/64662394
|
903 |
|
|
|a HeVa
|
929 |
|
|
|a cat
|
999 |
f |
f |
|i 9459fdc5-7146-5a8f-969d-38b1cab0c180
|s b4dc2080-9730-51eb-984e-44be26f50f8c
|
928 |
|
|
|t Library of Congress classification
|a QA267.I5550 1991
|l ASR
|c ASR-SciASR
|i 2150403
|
927 |
|
|
|t Library of Congress classification
|a QA267.I5550 1991
|l ASR
|c ASR-SciASR
|e CRERAR
|b 34234061
|i 2457553
|