Beweisstrukturen: Beweise als formale Objekte und als Datenstrukturen

• Antragsteller: Dr. Christoph Wernhard
• Fachliche Zuordnung: Künstliche Intelligenz und Maschinelle Lernverfahren
• Förderung: Förderung seit 2021
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 457292495

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sachbeihilfen