Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Decision Procedures in Hardware Design

  • Armin Biere (Vortragende*r)

Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › unbekannt

Zeitraum20 Apr. 2010
EreignistitelDagstuhl Seminar 10161
VeranstaltungstypSonstiges
OrtDeutschlandAuf Karte anzeigen

Wissenschaftszweige

  • 102 Informatik