Auflistung nach Autor:in "Otten, Jens"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- TextdokumentKonnektionskalküle für automatisches Beweisen in klassischen und nicht-klassischen Logiken(Ausgezeichnete Informatikdissertationen 2013, 2014) Otten, Jens