Alle öffentlichen Logbücher
Dies ist die kombinierte Anzeige aller in dev_madipedia geführten Logbücher. Die Ausgabe kann durch die Auswahl des Logbuchtyps, des Benutzers oder des Seitentitels eingeschränkt werden (Groß-/Kleinschreibung muss beachtet werden).
- 10:00, 8. Nov. 2016 Csguenther Diskussion Beiträge sichtete automatisch eine Version von Algebraic Approaches to Automated Theorem Proving (automatisch [Status: Überprüft, Tiefe: einfach, Lesbarkeit: akzeptabel]) (Version: 10:00, 8. Nov. 2016)