Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Samstag, 25. April 2026, ist die Deutschen Nationalbibliothek in Frankfurt am Main aufgrund von Wartungsarbeiten geschlossen.
Due to maintenance work the German National Library in Frankfurt will be closed on Saturday, 25 April 2026.
 
Neuigkeiten

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

 
 

Ergebnis der Suche nach: idn=890986460



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/890986460
Art des Inhalts Hochschulschrift
Titel Computational aspects of an order-sorted logic with term declarations
Person(en) Schmidt-Schauß, Manfred (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 1988
Umfang/Format 226 S. ; 21 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: Schmidt-Schauß, Manfred: Computational Aspects of an Order-Sorted Logic with Term Declarations
Hochschulschrift Kaiserslautern, Univ., Diss., 1988
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: H 88/8004
Bereitstellung in Frankfurt
Leipzig Signatur: Di 1988 A 11478
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration