Woche: Tuesday, May 28, 16:30, S2 219 | Seminar Formal Methods and Automated Reasoning II (SS 2024) | RISC

Abschnittsübersicht

Paul-Gabriel Turcuman

Wolfgang Schreiner
- Aktivität Approximate Unification with Fuzzy Relations: A Survey auswählen
  
  Approximate Unification with Fuzzy Relations: A Survey Datei PDF
- Aktivität The RISCTP Software: Combining Multiple Proving Strategies auswählen
  
  The RISCTP Software: Combining Multiple Proving Strategies Datei PDF
- Aktivität Seminar Video auswählen
  
  Seminar Video Link/URL