Rewriting techniques and applications : Dijon, France, May 20 - 22, 1985

Uloženo v:
Podrobná bibliografie
Další autoři: Jouannaud, Jean-Pierre, 1947- (Editor) 
Médium: Kniha
Jazyk:angličtina
Vydáno: Berlin : Springer-Verlag, 1985
Edice:Lecture notes in computer science ; 202
Žánr/forma:sborníky konferencí
Témata:
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Obálka
LEADER 01167nam a2200301 a 4500
001 000034475
003 CZ PrSTK
005 20230202150049.0
008 860217s1985 gw f 1|| | eng d
040 |a ABA013  |b cze 
050 4 |a QA267  |b .R73 1985 
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 Dijon, France, May 20 - 22, 1985 /  |c Edited by Jean-Pierre Jouannaud 
250 |a 1. ed. 
260 |a Berlin :  |b Springer-Verlag,  |c 1985 
300 |a VI, 440 s. 
490 0 |a Lecture notes in computer science ;  |v 202 
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 Jouannaud, Jean-Pierre,  |d 1947-  |7 xx0053593  |4 edt 
910 |a ABA013  |b D 22977 
996 |a STK  |b 2660228847  |c 2068/86  |d 19860217  |f 440.00  |g D 22977  |v QA267 .R73 1985  |l Sklad  |t 13