A Resolution Calculus for Modal Logics

Lokale TagsFreigabegeschichteDetailsÜbersicht

A Resolution Calculus for Modal Logics

Ohlbach, H. J. (1988). A Resolution Calculus for Modal Logics. PhD Thesis, Universität Kaiserslautern, Kaiserslautern.

Item is Freigegeben

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AEA0-B Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AC2F-9

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: 1988Erschienen: 1988

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: Kaiserslautern : Universität Kaiserslautern

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519558
Anderer: Local-ID: C1256104005ECAFC-87D0C4F36A47E62CC1256479004E38F8-Ohlbach88

Art des Abschluß: Doktorarbeit

Datensatz