Logo des Repositoriums
 
Textdokument

Konnektionskalküle für automatisches Beweisen in klassischen und nicht-klassischen Logiken

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Zusatzinformation

Datum

2014

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik

Zusammenfassung

Beschreibung

Otten, Jens (2014): Konnektionskalküle für automatisches Beweisen in klassischen und nicht-klassischen Logiken. Ausgezeichnete Informatikdissertationen 2013. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-3-88579-418-9. pp. 161-170

Schlagwörter

Zitierform

DOI

Tags