Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Rewriting Techniques and Applications, RTA 2004, held in Aachen, Germany in June 2004.
Saved in:
Bibliographic Details
- Other Authors
- Document Type
- Books
- Physical Description
- x, 311 s. : il.
- Published
-
Berlin :
Springer,
2004
- Series
- Lecture notes in computer science ;
v. 3091
- Subjects
- Bibliography
- Obsahuje bibliografie a rejstřík
- ISBN
- 3-540-22153-0
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 000167093 | ||
| 003 | CZ PrSTK | ||
| 005 | 20230206130025.0 | ||
| 008 | 040806s2004 gw ||| | eng | ||
| 020 | |a 3-540-22153-0 | ||
| 022 | |a 0302-9743 | ||
| 040 | |a ABA013 |b cze | ||
| 050 | 0 | |a QA267 |b .R73 2004 | |
| 072 | 7 | |a 519.1/.8 |x Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování |2 Konspekt |9 13 | |
| 080 | |a 519.766 |2 MRF | ||
| 080 | |a 004.42 |2 MRF | ||
| 080 | |a 004.421 |2 MRF | ||
| 080 | |a (062.534) |2 MRF | ||
| 111 | 2 | |a International Conference on Rewriting Techniques and Applications |n (15. : |d 2004 : |c Cáchy, Německo) | |
| 245 | 1 | 0 | |a Rewriting techniques and applications : |b 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings / |c Vincent van Oostrom (ed.) |
| 260 | |a Berlin : |b Springer, |c 2004 | ||
| 300 | |a x, 311 s. : |b il. | ||
| 490 | 0 | |a Lecture notes in computer science ; |v v. 3091 | |
| 504 | |a Obsahuje bibliografie a rejstřík | ||
| 650 | 0 | 7 | |a přepisující systémy |7 ph705680 |2 czenas |
| 650 | 0 | 7 | |a programování |x vt |7 psh12467 |2 psh |
| 650 | 0 | 7 | |a algoritmy (programování) |7 ph131788 |2 czenas |
| 655 | 7 | |a sborníky konferencí |7 fd133333 |2 czenas | |
| 700 | 1 | |a Oostrom, Vincent van, |d 1966- |4 edt | |
| 910 | |a ABA013 |b A 36155/6 | ||
| 996 | |b 2660242962 |c A 36155/6 |l Fond NTK |r 6.NP, regál 6D/116 |s 03 |n 000 |h QA267 .R73 2004 |j stk50 |w 000651834 |u 000010 |t ABA013.STK01000167093.STK50000651834000010 | ||