Benutzerbeiträge von „Stephan Böhme“
Aus International Center for Computational Logic
Ergebnisse für Stephan Böhme Diskussion Sperr-Logbuch hochgeladene Dateien Logbücher
Ein Benutzer mit 7 Bearbeitungen. Das Konto wurde am 3. November 2014 erstellt.
19. August 2015
- 11:4911:49, 19. Aug. 2015 Unterschied Versionen −2 K Proceedings3003 Keine Bearbeitungszusammenfassung
- 11:4711:47, 19. Aug. 2015 Unterschied Versionen +29 N Proceedings3003/en Page created automatically by parser function on page Proceedings3003 aktuell
- 11:4711:47, 19. Aug. 2015 Unterschied Versionen +1.701 N Proceedings3003 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Stephan |ErsterAutorNachname=Böhme |FurtherAuthors=Marcel Lippmann; }} {{Proceedings |Title=Decidable Descript…“
- 11:4211:42, 19. Aug. 2015 Unterschied Versionen +70 N Datei:BoLi-FroCoS15.pdf Decidable Description Logics of Context with Rigid Roles - FroCoS 2015 aktuell
8. Mai 2015
- 16:1416:14, 8. Mai 2015 Unterschied Versionen 0 Datei:BoLi-DL15.pdf Stephan Böhme lud eine neue Version von „Datei:BoLi-DL15.pdf“ hoch aktuell
4. November 2014
- 09:3709:37, 4. Nov. 2014 Unterschied Versionen +4 Stephan Böhme Keine Bearbeitungszusammenfassung
- 09:3609:36, 4. Nov. 2014 Unterschied Versionen +14 Stephan Böhme Keine Bearbeitungszusammenfassung
- 09:3109:31, 4. Nov. 2014 Unterschied Versionen +65 Stephan Böhme Keine Bearbeitungszusammenfassung
