Katalog der Deutschen Nationalbibliothek

Expertensuche ?

24. Dezember 2024 bis 1. Januar 2025: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2025 bereitgestellt. // From 24 December 2024 to 1 January 2025: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2025.

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

Ergebnis der Suche nach: idn=890890056

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/890890056
Art des Inhalts	Hochschulschrift
Titel	A resolution calculus for modal logics
Person(en)	Ohlbach, Hans Jürgen (Verfasser)
Zeitliche Einordnung	Erscheinungsdatum: 1988
Umfang/Format	115 S. : graph. Darst. ; 21 cm
Hochschulschrift	Kaiserslautern, Univ., Diss., 1988
Sachgruppe(n)	28 Informatik, Datenverarbeitung
Weiterführende Informationen	Inhaltsverzeichnis

Frankfurt	Signatur: H 89/1585 Bereitstellung in Frankfurt
Leipzig	Signatur: Di 1989 A 2531 Bereitstellung in Leipzig

Treffer 1 von 1

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Administration