Strategien für Resolutionsbeweiser in Logik höherer Stufe

Lokale TagsFreigabegeschichteDetailsÜbersicht

Strategien für Resolutionsbeweiser in Logik höherer Stufe

Bozkurt, A. (1995). Strategien für Resolutionsbeweiser in Logik höherer Stufe. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is Freigegeben

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD1E-C Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-ACE4-D

Genre: Hochschulschrift

ausblenden:

Urheber:
Bozkurt, Ahmet¹, Autor

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

ausblenden:

Sprache(n): eng - English

Datum: Geändert: 2010-03-12Angenommen: 1995Erschienen: 1995

Publikationsstatus: Erschienen

Seiten: -

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

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519805
Anderer: Local-ID: C1256104005ECAFC-9D92060D1ECE8407C1256A3400462D05-BozkurtDiplSiek1995

Art des Abschluß: Master

Datensatz