Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: num=86,b10*



Treffer 376 von 761 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/860180778
Titel On the termination of the Knuth-Bendix completion algorithm / J. Avenhaus
Person(en) Avenhaus, Jürgen (Verfasser)
Verlag Kaiserslautern : Fachbereich Informatik, Univ.
Zeitliche Einordnung Erscheinungsdatum: 1984
Umfang/Format 16 Bl. in getr. Zählung ; 30 cm
ISBN/Einband/Preis geh. (Pr. nicht mitget.)
Beziehungen Technische Universität Kaiserslautern. Fachbereich Informatik: Interner Bericht ; 120
Anmerkungen Status nach VGG: vergriffen
Sachgruppe(n) 28 Informatik, Datenverarbeitung ; 0300 Mathematik, Physik, Astronomie

Frankfurt Signatur: DKb 85/3772
Bereitstellung in Frankfurt
Leipzig Signatur: SB 8920-120
Bereitstellung in Leipzig




Treffer 376 von 761
< < > <


E-Mail-IconAdministration