Logo des Repositoriums
 

Representing Logics and Logic Translations (Repräsentation von Logiken und Logik-Übersetzungen)

dc.contributor.authorRabe, Florian
dc.contributor.editorHölldobler, Steffen
dc.date.accessioned2020-08-21T08:42:09Z
dc.date.available2020-08-21T08:42:09Z
dc.date.issued2009
dc.identifier.isbn978-3-88579-413-4
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/33600
dc.language.isode
dc.publisherGesellschaft für Informatik
dc.relation.ispartofAusgezeichnete Informatikdissertationen 2008
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Dissertations, Volume D-9
dc.titleRepresenting Logics and Logic Translations (Repräsentation von Logiken und Logik-Übersetzungen)de
gi.citation.endPage210
gi.citation.publisherPlaceBonn
gi.citation.startPage201

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
201.pdf
Größe:
171.64 KB
Format:
Adobe Portable Document Format