Logo des Repositoriums
 
Textdokument

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

Vorschaubild

Volltext URI

Dokumententyp

Dateien

201.pdf (171.64 KB)

Zusatzinformation

Datum

2009

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Ausgezeichnete Informatikdissertationen 2008

Verlag

Gesellschaft für Informatik

Zusammenfassung

Beschreibung

Rabe, Florian (2009): Representing Logics and Logic Translations (Repräsentation von Logiken und Logik-Übersetzungen). Ausgezeichnete Informatikdissertationen 2008. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-3-88579-413-4. pp. 201-210

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

D09 (2010) - Ausgezeichnete Informatikdissertationen