Professor Dr. Klaus Meer

Adresse Brandenburgische Technische Universität
Cottbus - Senftenberg
Fakultät 1: MINT
Lehrstuhl Theoretische Informatik
Platz der Deutschen Einheit 1
03046 Cottbus

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Interaktive und probabilistisch prüfbare Beweise in reellen Rechenmodellen (Sachbeihilfen)