Automated Reasoning in Discrete Mathematics and Algorithmic Computing

01.12.2025 - 30.11.2026
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Spende

  • SBA Research gemeinnützige GmbH

Forschungsschwerpunkte

  • Logic and Computation: 100%

Publikationen