Misc1479: Unterschied zwischen den Versionen
Aus Aifbportal
K (Added from ontology) |
K (Added from ontology) |
||
| Zeile 1: | Zeile 1: | ||
| − | {{Publikation | + | {{Publikation Erster Autor |
| − | | | + | |ErsterAutorNachname=Prothmann |
| − | | | + | |ErsterAutorVorname=Holger |
}} | }} | ||
{{Misc | {{Misc | ||
Version vom 8. September 2009, 10:33 Uhr
Property Testing und die BDD-Größe boolescher Funktionen: Nichttestbarkeitsresultate
Veröffentlichung: 2004
Art der Veröffentlichung: Diplomarbeit, Universität Dortmund
BibTeX
Forschungsgebiet