Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: betRef=002154552



Treffer 1 von 1 < < > <



Zeitschriften/Serien
Link zu diesem Datensatz https://d-nb.info/013694677
Art des Inhalts Zeitschrift
Konferenzschrift
Titel Rewriting techniques and applications : proceedings / RTA
Organisation(en) International Conference on Rewriting Techniques and Applications (Herausgebendes Organ)
RTA (Herausgebendes Organ)
Verlag Berlin ; Heidelberg [u.a.] : Springer
Zeitliche Einordnung Erscheinungsdatum: 1985-1989
Zählung 1.1985 - 3.1989
Erscheinungsfrequenz Forts. als Monographie behandelt
Sprache(n) Englisch (eng)
Beziehungen Zugl. Bd. von: Lecture notes in computer science
Anmerkungen Urh. anfangs: International Conference on Rewriting Techniques and Applications
Schlagwörter Automatisches Beweisverfahren ; Kongress
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Zugehörige Bände 3 Publikationen
  1. Rewriting techniques and applications / 3. 1989. Chapel Hill, North Carolina, USA, April 3 - 5, 1989
    1989
  2. Rewriting techniques and applications / 2. 1987. Bordeaux, France, May 25 - 27, 1987
    1987
  3. ...

Frankfurt Bestand: 1.1985 - 3.1989 [Einzelbandnachweis]
Leipzig Bestand: 1.1985 - 3.1989 [Einzelbandnachweis]




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration