Probabilistische Algorithmen und Methoden in der Logik
Fachliche Zuordnung
Theoretische Informatik
Förderung
Förderung von 1997 bis 2003
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5378737
Keine Zusammenfassung vorhanden
DFG-Verfahren
Sachbeihilfen
