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

Seitenaufrufe: 58
seit 22.05.2019
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page