Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: tit all "Algorithms"

Zurück zur Trefferliste


Treffer 1901 von 1910 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/880327979
Art des Inhalts Hochschulschrift
Titel Combination of unification algorithms in equational theories
Person(en) Herold, Alexander (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 1987
Umfang/Format 176 S. ; 21 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: Combination of Unification Algorithms
Hochschulschrift Kaiserslautern, Univ., Diss., 1987
Schlagwörter Gleichheit (Mathematik) / Unifikation in ̃theorien
Sachgruppe(n) 28 Informatik, Datenverarbeitung ; 0300 Mathematik, Physik, Astronomie
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: H 87/8194
Bereitstellung in Frankfurt
Leipzig Signatur: Di 1987 A 10748
Bereitstellung in Leipzig




Treffer 1901 von 1910
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration