NW: Strukturelle und spielbasierte Analyse von Auswertungs- und Erfüllbarkeitsproblemen II
Mittelgeber
DFG Nachwuchsgruppe
Laufzeit
Projektstart: 03/2007
Projektende: 05/2008
NW: Strukturelle und spielbasierte Analyse von Auswertungs- und Erfüllbarkeitsproblemen II