Benutzerbeiträge von „Serge Stratan“
Aus International Center for Computational Logic
Ergebnisse für Serge Stratan Diskussion Sperr-Logbuch hochgeladene Dateien Logbücher
Ein Benutzer mit 1.341 Bearbeitungen. Das Konto wurde am 7. März 2016 erstellt.
13. Januar 2017
- 19:2319:23, 13. Jan. 2017 Unterschied Versionen +3.795 N Thema3456 Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata |Titel EN=Software Implementation fo…“ aktuell
- 19:2019:20, 13. Jan. 2017 Unterschied Versionen 0 N Datei:MscStratan.pdf Keine Bearbeitungszusammenfassung aktuell
6. Januar 2017
- 17:1017:10, 6. Jan. 2017 Unterschied Versionen 0 MCL/CurrentStudents/en Keine Bearbeitungszusammenfassung
- 17:1017:10, 6. Jan. 2017 Unterschied Versionen +9 MCL/CurrentStudents/en Keine Bearbeitungszusammenfassung
- 17:0717:07, 6. Jan. 2017 Unterschied Versionen −37 MCL/Grants/en Keine Bearbeitungszusammenfassung
- 17:0617:06, 6. Jan. 2017 Unterschied Versionen −63 MCL/Useful Information/Public Transport/en Keine Bearbeitungszusammenfassung
- 17:0617:06, 6. Jan. 2017 Unterschied Versionen −81 MCL/Useful Information/Dining Halls/en Keine Bearbeitungszusammenfassung
- 17:0517:05, 6. Jan. 2017 Unterschied Versionen −107 MCL/Useful Information/Libraries/en Keine Bearbeitungszusammenfassung
- 15:5215:52, 6. Jan. 2017 Unterschied Versionen −107 MCL/Useful Information/International Office/en Keine Bearbeitungszusammenfassung
- 15:5115:51, 6. Jan. 2017 Unterschied Versionen −77 MCL/Useful Information/en Keine Bearbeitungszusammenfassung
- 13:4513:45, 6. Jan. 2017 Unterschied Versionen −119 MCL/For Prospective Students/Stay/Registration/en Keine Bearbeitungszusammenfassung
- 13:4413:44, 6. Jan. 2017 Unterschied Versionen −104 MCL/For Prospective Students/Stay/Accommodation/en Keine Bearbeitungszusammenfassung
19. Dezember 2016
- 20:1320:13, 19. Dez. 2016 Unterschied Versionen +5 Misc3052 Keine Bearbeitungszusammenfassung aktuell
- 20:1220:12, 19. Dez. 2016 Unterschied Versionen +22 N Misc3055/en Page created automatically by parser function on page Misc3055 aktuell
- 20:1220:12, 19. Dez. 2016 Unterschied Versionen +373 N Misc3055 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christoph |ErsterAutorNachname=Wernhard }} {{Misc |Title=Towards a Declarative Approach to Model Human Reasoning…“ aktuell
- 20:1120:11, 19. Dez. 2016 Unterschied Versionen +22 N Misc3054/en Page created automatically by parser function on page Misc3054 aktuell
- 20:1120:11, 19. Dez. 2016 Unterschied Versionen +299 N Misc3054 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Steffen |ErsterAutorNachname=Hölldobler }} {{Misc |Title=Satisfiability Testing and its Applications |Year=2012…“ aktuell
- 20:1120:11, 19. Dez. 2016 Unterschied Versionen +22 N Misc3053/en Page created automatically by parser function on page Misc3053 aktuell
- 20:1120:11, 19. Dez. 2016 Unterschied Versionen +285 N Misc3053 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Steffen |ErsterAutorNachname=Hölldobler }} {{Misc |Title=Human Reasoning and Computational Logic |Year=2012 |Mo…“ aktuell
- 20:1020:10, 19. Dez. 2016 Unterschied Versionen +22 N Misc3052/en Page created automatically by parser function on page Misc3052 aktuell
- 20:0920:09, 19. Dez. 2016 Unterschied Versionen +292 N Misc3052 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Norbert |ErsterAutorNachname=Manthey }} {{Misc |Title=A Compact Encoding of Pseudo-Boolean Constraints into SAT…“
- 20:0920:09, 19. Dez. 2016 Unterschied Versionen +22 N Misc3051/en Page created automatically by parser function on page Misc3051 aktuell
- 20:0920:09, 19. Dez. 2016 Unterschied Versionen +271 N Misc3051 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Norbert |ErsterAutorNachname=Manthey }} {{Misc |Title=Coprocessor 2.0 - A flexible CNF Simplifier |Year=2012 |Mo…“ aktuell
- 20:0820:08, 19. Dez. 2016 Unterschied Versionen +22 N Misc3050/en Page created automatically by parser function on page Misc3050 aktuell
- 20:0820:08, 19. Dez. 2016 Unterschied Versionen +272 N Misc3050 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Norbert |ErsterAutorNachname=Manthey }} {{Misc |Title=The SAT Solver Framework priss |Year=2012 |Month=Juni |How…“ aktuell
- 20:0820:08, 19. Dez. 2016 Unterschied Versionen +22 N Misc3049/en Page created automatically by parser function on page Misc3049 aktuell
- 20:0720:07, 19. Dez. 2016 Unterschied Versionen +297 N Misc3049 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Norbert |ErsterAutorNachname=Manthey }} {{Misc |Title=npSolver - a SAT based Solver for Optimization Problems |Y…“ aktuell
- 20:0720:07, 19. Dez. 2016 Unterschied Versionen +22 N Misc3048/en Page created automatically by parser function on page Misc3048 aktuell
- 20:0620:06, 19. Dez. 2016 Unterschied Versionen +283 N Misc3048 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Steffen |ErsterAutorNachname=Hölldobler }} {{Misc |Title=A Simple Model for the Wason Selection Task |Year=2012…“ aktuell
- 20:0620:06, 19. Dez. 2016 Unterschied Versionen +22 N Misc3047/en Page created automatically by parser function on page Misc3047 aktuell
- 20:0620:06, 19. Dez. 2016 Unterschied Versionen +293 N Misc3047 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Steffen |ErsterAutorNachname=Hölldobler }} {{Misc |Title=The European PhD Program in Computational Logic |Year=…“ aktuell
- 20:0520:05, 19. Dez. 2016 Unterschied Versionen +22 N Misc3046/en Page created automatically by parser function on page Misc3046 aktuell
- 20:0520:05, 19. Dez. 2016 Unterschied Versionen +299 N Misc3046 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Steffen |ErsterAutorNachname=Hölldobler }} {{Misc |Title=Human Reasoning and Computational Logic |Year=2012 |Mo…“ aktuell
- 20:0420:04, 19. Dez. 2016 Unterschied Versionen +22 N Misc3045/en Page created automatically by parser function on page Misc3045 aktuell
- 20:0420:04, 19. Dez. 2016 Unterschied Versionen +262 N Misc3045 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Steffen |ErsterAutorNachname=Hölldobler }} {{Misc |Title=Solving Hidokus Using SAT-Solvers |Year=2012 |Month=Ma…“ aktuell
- 20:0320:03, 19. Dez. 2016 Unterschied Versionen +22 N Misc3044/en Page created automatically by parser function on page Misc3044 aktuell
- 20:0320:03, 19. Dez. 2016 Unterschied Versionen +301 N Misc3044 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Steffen |ErsterAutorNachname=Hölldobler }} {{Misc |Title=A Computational Logic Approach to Human Reasoning |Yea…“ aktuell
15. Dezember 2016
- 20:5720:57, 15. Dez. 2016 Unterschied Versionen +22 N Misc3043/en Page created automatically by parser function on page Misc3043 aktuell
- 20:5720:57, 15. Dez. 2016 Unterschied Versionen +277 N Misc3043 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Steffen |ErsterAutorNachname=Hölldobler }} {{Misc |Title=Study Programs on Computational Logic at TUD |Year=201…“ aktuell
- 20:5620:56, 15. Dez. 2016 Unterschied Versionen +22 N Misc3042/en Page created automatically by parser function on page Misc3042 aktuell
- 20:5620:56, 15. Dez. 2016 Unterschied Versionen +277 N Misc3042 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Steffen |ErsterAutorNachname=Hölldobler }} {{Misc |Title=The European PhD Program in Computational Logic |Year…“ aktuell
- 20:5620:56, 15. Dez. 2016 Unterschied Versionen +22 N Misc3041/en Page created automatically by parser function on page Misc3041 aktuell
- 20:5620:56, 15. Dez. 2016 Unterschied Versionen +283 N Misc3041 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Steffen |ErsterAutorNachname=Hölldobler }} {{Misc |Title=An Abductive Model for Human Reasoning |Year=2011 |Mon…“ aktuell
- 20:5520:55, 15. Dez. 2016 Unterschied Versionen +22 N Misc3040/en Page created automatically by parser function on page Misc3040 aktuell
- 20:5520:55, 15. Dez. 2016 Unterschied Versionen +313 N Misc3040 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Steffen |ErsterAutorNachname=Hölldobler }} {{Misc |Title=Logics and Networks for the Suppression Task |Year=201…“ aktuell
- 20:5420:54, 15. Dez. 2016 Unterschied Versionen +22 N Misc3039/en Page created automatically by parser function on page Misc3039 aktuell
- 20:5420:54, 15. Dez. 2016 Unterschied Versionen +339 N Misc3039 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Steffen |ErsterAutorNachname=Hölldobler }} {{Misc |Title=A New Computational Model for Human Reasoning |Year=20…“ aktuell
- 20:5320:53, 15. Dez. 2016 Unterschied Versionen +22 N Misc3038/en Page created automatically by parser function on page Misc3038 aktuell
- 20:5320:53, 15. Dez. 2016 Unterschied Versionen +259 N Misc3038 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Steffen |ErsterAutorNachname=Hölldobler }} {{Misc |Title=EU-Drittlandprogramme 2007-2013 |Year=2013 |Month=Okto…“ aktuell
- 20:5220:52, 15. Dez. 2016 Unterschied Versionen +22 N Misc3037/en Page created automatically by parser function on page Misc3037 aktuell
