?
1
Computer algebra software for finitely presented monoids an..
Schriftenreihe / Fachbereich Informatik, Technische Universität Kaiserslautern ; 18
Exemplar:
Zentrale:Magazin dt 7483
?
2
Termersetzungssysteme
Theorie, Implementierung, Anwendung
Vieweg-Lehrbuch Informatik
Exemplare:
TB BHV: com 483/3; Zentrale:E02 a inf 410 trm/678
?
5
Rewriting techniques and applications
6th international conference, Kaiserslautern, Germany, Apri...
Lecture notes in computer science ; 914
Exemplar:
Zentrale:Magazin 01.P.5722
?
6
Rewriting techniques and applications
5th international conference ; proceedings
Lecture notes in computer science ; 690
Exemplar:
Zentrale:Magazin 01.p.0661