Ein Beweiser für quantifizierte Boolsche Formeln in Negationsnormalform

dc.contributor.author	Seidl, Martina
dc.contributor.editor	Wagner, Dorothea
dc.contributor.editor	et al.
dc.date.accessioned	2020-08-21T08:42:36Z
dc.date.available	2020-08-21T08:42:36Z
dc.date.issued	2008
dc.identifier.isbn	978-3-88579-412-7
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/33644
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2007
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-8
dc.title	Ein Beweiser für quantifizierte Boolsche Formeln in Negationsnormalform	de
dc.pubPlace	Bonn
mci.reference.pages	269-278