Logo des Repositoriums
 
Textdokument

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

Vorschaubild

Volltext URI

Dokumententyp

Dateien

161.pdf (325.54 KB)

Zusatzinformation

Datum

2014

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Ausgezeichnete Informatikdissertationen 2013

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

Sammlungen

D14 (2013) - Ausgezeichnete Informatikdissertationen