Benutzerbeiträge von „Serge Stratan“

13. Januar 2017

• 20:2320:23, 13. Jan. 2017 Unterschied Versionen +3.795 Bytes‎ 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
• 20:2020:20, 13. Jan. 2017 Unterschied Versionen 0 Bytes‎ N Datei:MscStratan.pdf ‎Keine Bearbeitungszusammenfassung aktuell

6. Januar 2017

• 18:1018:10, 6. Jan. 2017 Unterschied Versionen 0 Bytes‎ MCL/CurrentStudents/en ‎Keine Bearbeitungszusammenfassung
• 18:1018:10, 6. Jan. 2017 Unterschied Versionen +9 Bytes‎ MCL/CurrentStudents/en ‎Keine Bearbeitungszusammenfassung
• 18:0718:07, 6. Jan. 2017 Unterschied Versionen −37 Bytes‎ MCL/Grants/en ‎Keine Bearbeitungszusammenfassung
• 18:0618:06, 6. Jan. 2017 Unterschied Versionen −63 Bytes‎ MCL/Useful Information/Public Transport/en ‎Keine Bearbeitungszusammenfassung
• 18:0618:06, 6. Jan. 2017 Unterschied Versionen −81 Bytes‎ MCL/Useful Information/Dining Halls/en ‎Keine Bearbeitungszusammenfassung
• 18:0518:05, 6. Jan. 2017 Unterschied Versionen −107 Bytes‎ MCL/Useful Information/Libraries/en ‎Keine Bearbeitungszusammenfassung
• 16:5216:52, 6. Jan. 2017 Unterschied Versionen −107 Bytes‎ MCL/Useful Information/International Office/en ‎Keine Bearbeitungszusammenfassung
• 16:5116:51, 6. Jan. 2017 Unterschied Versionen −77 Bytes‎ MCL/Useful Information/en ‎Keine Bearbeitungszusammenfassung
• 14:4514:45, 6. Jan. 2017 Unterschied Versionen −119 Bytes‎ MCL/For Prospective Students/Stay/Registration/en ‎Keine Bearbeitungszusammenfassung
• 14:4414:44, 6. Jan. 2017 Unterschied Versionen −104 Bytes‎ MCL/For Prospective Students/Stay/Accommodation/en ‎Keine Bearbeitungszusammenfassung

19. Dezember 2016

• 21:1321:13, 19. Dez. 2016 Unterschied Versionen +5 Bytes‎ Misc3052 ‎Keine Bearbeitungszusammenfassung aktuell
• 21:1221:12, 19. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3055/en ‎ Page created automatically by parser function on page Misc3055 aktuell
• 21:1221:12, 19. Dez. 2016 Unterschied Versionen +373 Bytes‎ 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
• 21:1121:11, 19. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3054/en ‎ Page created automatically by parser function on page Misc3054 aktuell
• 21:1121:11, 19. Dez. 2016 Unterschied Versionen +299 Bytes‎ 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
• 21:1121:11, 19. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3053/en ‎ Page created automatically by parser function on page Misc3053 aktuell
• 21:1121:11, 19. Dez. 2016 Unterschied Versionen +285 Bytes‎ 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
• 21:1021:10, 19. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3052/en ‎ Page created automatically by parser function on page Misc3052 aktuell
• 21:0921:09, 19. Dez. 2016 Unterschied Versionen +292 Bytes‎ 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…“
• 21:0921:09, 19. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3051/en ‎ Page created automatically by parser function on page Misc3051 aktuell
• 21:0921:09, 19. Dez. 2016 Unterschied Versionen +271 Bytes‎ 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
• 21:0821:08, 19. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3050/en ‎ Page created automatically by parser function on page Misc3050 aktuell
• 21:0821:08, 19. Dez. 2016 Unterschied Versionen +272 Bytes‎ 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
• 21:0821:08, 19. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3049/en ‎ Page created automatically by parser function on page Misc3049 aktuell
• 21:0721:07, 19. Dez. 2016 Unterschied Versionen +297 Bytes‎ 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
• 21:0721:07, 19. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3048/en ‎ Page created automatically by parser function on page Misc3048 aktuell
• 21:0621:06, 19. Dez. 2016 Unterschied Versionen +283 Bytes‎ 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
• 21:0621:06, 19. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3047/en ‎ Page created automatically by parser function on page Misc3047 aktuell
• 21:0621:06, 19. Dez. 2016 Unterschied Versionen +293 Bytes‎ 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
• 21:0521:05, 19. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3046/en ‎ Page created automatically by parser function on page Misc3046 aktuell
• 21:0521:05, 19. Dez. 2016 Unterschied Versionen +299 Bytes‎ 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
• 21:0421:04, 19. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3045/en ‎ Page created automatically by parser function on page Misc3045 aktuell
• 21:0421:04, 19. Dez. 2016 Unterschied Versionen +262 Bytes‎ 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
• 21:0321:03, 19. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3044/en ‎ Page created automatically by parser function on page Misc3044 aktuell
• 21:0321:03, 19. Dez. 2016 Unterschied Versionen +301 Bytes‎ 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

• 21:5721:57, 15. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3043/en ‎ Page created automatically by parser function on page Misc3043 aktuell
• 21:5721:57, 15. Dez. 2016 Unterschied Versionen +277 Bytes‎ 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
• 21:5621:56, 15. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3042/en ‎ Page created automatically by parser function on page Misc3042 aktuell
• 21:5621:56, 15. Dez. 2016 Unterschied Versionen +277 Bytes‎ 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
• 21:5621:56, 15. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3041/en ‎ Page created automatically by parser function on page Misc3041 aktuell
• 21:5621:56, 15. Dez. 2016 Unterschied Versionen +283 Bytes‎ 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
• 21:5521:55, 15. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3040/en ‎ Page created automatically by parser function on page Misc3040 aktuell
• 21:5521:55, 15. Dez. 2016 Unterschied Versionen +313 Bytes‎ 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
• 21:5421:54, 15. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3039/en ‎ Page created automatically by parser function on page Misc3039 aktuell
• 21:5421:54, 15. Dez. 2016 Unterschied Versionen +339 Bytes‎ 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
• 21:5321:53, 15. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3038/en ‎ Page created automatically by parser function on page Misc3038 aktuell
• 21:5321:53, 15. Dez. 2016 Unterschied Versionen +259 Bytes‎ 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
• 21:5221:52, 15. Dez. 2016 Unterschied Versionen +22 Bytes‎ N Misc3037/en ‎ Page created automatically by parser function on page Misc3037 aktuell