Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Managing SAT inconsistencies with HUMUS

  • Alexander Nöhrer (Vortragende*r)

Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt

Zeitraum26 Jän. 2012
EreignistitelSixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings.
VeranstaltungstypKonferenz
OrtDeutschlandAuf Karte anzeigen

Wissenschaftszweige

  • 102006 Computer Supported Cooperative Work (CSCW)
  • 102007 Computeranimation
  • 102009 Computersimulation
  • 102 Informatik
  • 211913 Qualitätssicherung
  • 501013 Motivationspsychologie
  • 102015 Informationssysteme

JKU-Schwerpunkte

  • Computation in Informatics and Mathematics
  • TNF Allgemein