Ein Beweiser für quantifizierte Boolsche Formeln in Negationsnormalform

Seidl, Martina

Autor(en):

Vollständige Referenz
BibTeX

Seidl, M., (2008). Ein Beweiser für quantifizierte Boolsche Formeln in Negationsnormalform. In: Wagner, D. & , . (Hrsg.), Ausgezeichnete Informatikdissertationen 2007. Bonn: Gesellschaft für Informatik. (S. 269-278).

@inproceedings{mci/Seidl2008,
author = {Seidl, Martina},
title = {Ein Beweiser für quantifizierte Boolsche Formeln in Negationsnormalform},
booktitle = {Ausgezeichnete Informatikdissertationen 2007},
year = {2008},
editor = {Wagner, Dorothea AND et al.} ,
pages = { 269-278 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}