Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt bleibt vom 10.03. bis 22.03.2025 wegen Umbauarbeiten geschlossen.
The German National Library in Frankfurt will remain closed from March 10 to March 22, 2025, due to renovation work.
 
 

Ergebnis der Suche nach: idn=890892253



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/890892253
Art des Inhalts Hochschulschrift
Titel Completeness, confluence, and related properties of clause graph resolution
Person(en) Eisinger, Norbert (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 1988
Umfang/Format 185 S. : graph. Darst. ; 21 cm
Hochschulschrift Kaiserslautern, Univ., Diss., 1988
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: H 89/1577
Bereitstellung in Frankfurt
Leipzig Signatur: Di 1989 A 2532
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration