Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Uloženo v:
| Další autoři: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin :
Springer,
2001
|
| Edice: | Lecture notes in computer science ;
2051 |
| Žánr/forma: | sborníky konferencí |
| ISSN: | 0302-9743 |
| ISBN: | 3-540-42117-3 |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| LEADER | 01300nam a2200325 a 4500 | ||
|---|---|---|---|
| 001 | 000005945 | ||
| 003 | CZ PrSTK | ||
| 005 | 20230206122624.0 | ||
| 008 | 010607s2001 gw ||| | eng | ||
| 020 | |a 3-540-42117-3 | ||
| 022 | |a 0302-9743 | ||
| 040 | |a ABA013 |b cze | ||
| 050 | 0 | |a QA267 |b .R73 2001 | |
| 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 | ||
| 245 | 0 | 0 | |a Rewriting techniques and applications : |b 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / |c Edited by Aart Middeldorp |
| 260 | |a Berlin : |b Springer, |c 2001 | ||
| 300 | |a xii, 361 s. | ||
| 490 | 0 | |a Lecture notes in computer science ; |v 2051 | |
| 500 | |a Konference, Utrecht, 2001 | ||
| 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 Middeldorp, Aart, |d 1963- |7 xx0041276 |4 edt | |
| 910 | |a ABA013 |b A 36155/3 | ||
| 996 | |a STK |b 2660207461 |c 2170/2001 |f 1854.30 |g A 36155/3 |v QA267 .R73 2001 |l 6.NP, regál 6D/116 |t 03 | ||