Misc1479: Unterschied zwischen den Versionen
Aus Aifbportal
K (Added from ontology) |
Hpr (Diskussion | Beiträge) |
||
(Eine dazwischenliegende Version von einem anderen Benutzer wird nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
− | {{Publikation | + | {{Publikation Erster Autor |
− | | | + | |ErsterAutorNachname=Prothmann |
− | | | + | |ErsterAutorVorname=Holger |
}} | }} | ||
{{Misc | {{Misc | ||
|Title=Property Testing und die BDD-Größe boolescher Funktionen: Nichttestbarkeitsresultate | |Title=Property Testing und die BDD-Größe boolescher Funktionen: Nichttestbarkeitsresultate | ||
|Year=2004 | |Year=2004 | ||
+ | |Month=Dezember | ||
|Howpublished=Diplomarbeit, Universität Dortmund | |Howpublished=Diplomarbeit, Universität Dortmund | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
− | + | |Forschungsgruppe=Effiziente Algorithmen | |
− | |||
− | |||
− | |Forschungsgruppe= | ||
}} | }} |
Aktuelle Version vom 11. September 2009, 15:08 Uhr
Property Testing und die BDD-Größe boolescher Funktionen: Nichttestbarkeitsresultate
Veröffentlichung: 2004
Dezember
Art der Veröffentlichung: Diplomarbeit, Universität Dortmund
BibTeX
Forschungsgruppe
Forschungsgebiet