Benutzerbeiträge von „Franz Baader“
Aus International Center for Computational Logic
Ergebnisse für Franz Baader Diskussion Sperr-Logbuch hochgeladene Dateien Logbücher
Ein Benutzer mit 12 Bearbeitungen. Das Konto wurde am 30. Oktober 2014 erstellt.
2. Mai 2016
- 08:5708:57, 2. Mai 2016 Unterschied Versionen −1 Franz Baader Keine Bearbeitungszusammenfassung aktuell
- 08:5608:56, 2. Mai 2016 Unterschied Versionen 0 N Datei:Franz-16 150.jpg Keine Bearbeitungszusammenfassung aktuell
3. März 2015
- 20:3320:33, 3. Mär. 2015 Unterschied Versionen +28 N Aktivitaet2028/en Page created automatically by parser function on page Aktivitaet2028 aktuell
- 20:3320:33, 3. Mär. 2015 Unterschied Versionen +351 N Aktivitaet2028 Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Mitglied im Steering Committee von DL: Workshop on Description Logics (2000-2002; 2008-2011) |Beschreibung EN=Member of the Steer…“ aktuell
- 20:3120:31, 3. Mär. 2015 Unterschied Versionen +28 N Aktivitaet2027/en Page created automatically by parser function on page Aktivitaet2027 aktuell
- 20:3020:30, 3. Mär. 2015 Unterschied Versionen +28 N Aktivitaet2026/en Page created automatically by parser function on page Aktivitaet2026 aktuell
- 20:2520:25, 3. Mär. 2015 Unterschied Versionen +28 N Aktivitaet2025/en Page created automatically by parser function on page Aktivitaet2025 aktuell
- 20:2520:25, 3. Mär. 2015 Unterschied Versionen +429 N Aktivitaet2025 Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Mitglied im Steering Committee von CADE: Conference on Automated Deduction (2002-2009, President 2004-2009; 2010-2013, President…“ aktuell
31. Oktober 2014
- 14:4214:42, 31. Okt. 2014 Unterschied Versionen +24 Franz Baader Keine Bearbeitungszusammenfassung
- 14:4114:41, 31. Okt. 2014 Unterschied Versionen 0 N Datei:BaaderJuy2013.jpg Keine Bearbeitungszusammenfassung aktuell