Ein Rahmen, der AFT und Kategorientheorie für Anwendungen der höheren Logik kombiniert.
― 6 min Lesedauer
Hochmoderne Wissenschaft einfach erklärt
Ein Rahmen, der AFT und Kategorientheorie für Anwendungen der höheren Logik kombiniert.
― 6 min Lesedauer
Lern, wie Minimale Unzufriedene Teilmengen das Lösen von Problemen in der Informatik einfacher machen können.
― 7 min Lesedauer