Misc1479: Unterschied zwischen den Versionen
Aus Aifbportal
K (Added from ontology) |
Hpr (Diskussion | Beiträge) |
||
Zeile 6: | Zeile 6: | ||
|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