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

dc.contributor.author	Otten, Jens
dc.date.accessioned	2020-08-21T08:50:17Z
dc.date.available	2020-08-21T08:50:17Z
dc.date.issued	2014
dc.identifier.isbn	978-3-88579-418-9
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/33802
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2013
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-14
dc.title	Konnektionskalküle für automatisches Beweisen in klassischen und nicht-klassischen Logiken	de
dc.pubPlace	Bonn
mci.reference.pages	161-170