Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die 1,9 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Dienstag, 5.Juli und Mittwoch, 6. Juli 2022: Die Deutsche Nationalbibliothek in Leipzig schließt wegen technischer Arbeiten schon um 21:00 Uhr. // Tuesday, 5 July and Wednesday, 6 July: The German National Library in Leipzig will close at 21:00 due to technical work.
 
 

Ergebnis der Suche nach: idn=890940258



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/890940258
Art des Inhalts Hochschulschrift
Titel Theorembeweisen mit Rewrite-Techniken : Methode, Strategien und Vergleiche
Person(en) Müller, Heinz Jürgen (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 1988
Umfang/Format 139 S. : graph. Darst. ; 21 cm
Hochschulschrift Kaiserslautern, Univ., Diss., 1988
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Frankfurt Signatur: H 89/1571
Bereitstellung in Frankfurt
Leipzig Signatur: Di 1989 A 2372
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <


E-Mail-IconAdministration