9Hitze
1Antwort
Nachweis mit negativen induktiven Typen in Coq falsch
1Hitze
1Antwort
Prolog - einige grundlegende arithmetische Operationen Implementierung
4Hitze
1Antwort
Affe und Banane in Denken als Computation
4Hitze
1Antwort
Finden Pfad und seine Länge zwischen den Knoten in einem Diagramm