Logo des Repositoriums
 
Textdokument

Ein Beweiser für quantifizierte Boolsche Formeln in Negationsnormalform

Vorschaubild

Volltext URI

Dokumententyp

Dateien

269.pdf (6.16 MB)

Zusatzinformation

Datum

2008

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Ausgezeichnete Informatikdissertationen 2007

Verlag

Gesellschaft für Informatik

Zusammenfassung

Beschreibung

Seidl, Martina (2008): Ein Beweiser für quantifizierte Boolsche Formeln in Negationsnormalform. Ausgezeichnete Informatikdissertationen 2007. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-3-88579-412-7. pp. 269-278

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

D08 (2007) - Ausgezeichnete Informatikdissertationen