Thema der Antrittsvorlesung: Transformation logischer Systeme

Lokale TagsFreigabegeschichteDetailsÜbersicht

Thema der Antrittsvorlesung: Transformation logischer Systeme

Ohlbach, H. J. (1993). Thema der Antrittsvorlesung: Transformation logischer Systeme. Habilitation Thesis, Universität des Saarlandes, Saarbrücken.

Item is Freigegeben

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ADBB-A Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AC34-C

Genre: Hochschulschrift

ausblenden:

Urheber:
Ohlbach, Hans Jürgen¹, Autor

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

ausblenden:

Sprache(n): eng - English

Datum: Geändert: 2010-03-12Angenommen: 1993-12-17Erschienen: 1993

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519801
Anderer: Local-ID: C1256104005ECAFC-4453007D9BC5D30BC1256A24004CC807-OhlbachHabil1993

Art des Abschluß: Habilitation

Datensatz