635648-5  

Rewriting techniques and applications : proceedings / RTA

International Conference on Rewriting Techniques and Applications 

RTA 

Berlin ; Heidelberg [u.a.] : Springer

1.1985 - 3.1989

Forts. als Monographie behandelt

Urh. anfangs: International Conference on Rewriting Techniques and Applications

1=202; 2=256; 3=355 von:  Lecture notes in computer science  (ISSN: 0302-9743) 

OCLC-Nr.: 1186222225

DDC-Sachgruppen der ZDB: 004 Informatik 

Schlagwörter:
Automatisches Beweisverfahren ; Kongress

Zeitschrift

Kongressbericht

Deutschland 

Druckausgabe

013694677

03-09-22

1022215-7  

Conference on Rewriting Techniques and Applications

International Conference on Rewriting Techniques and Applications 

Amsterdam : North-Holland

Nachgewiesen 2.1987(1989) -

2=67,2/3 von:  Theoretical computer science  (ISSN: 0304-3975) 

OCLC-Nr.: 646903248

DDC-Sachgruppen der ZDB: 004 Informatik 

Zeitschrift

Kongressbericht

Niederlande 

Druckausgabe

01554950X

03-09-22