KIT | KIT-Bibliothek | Impressum | Datenschutz

Property Testing und die BDD-Größe boolescher Funktionen: Nichttestbarkeitsresultate

Prothmann, Holger



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Hochschulschrift
Publikationsjahr 2004
Sprache Deutsch
Identifikator KITopen-ID: 1000093648
Verlag Universität
Art der Arbeit Abschlussarbeit - Diplom
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page