( en | de | ru )

 

Disambiguierung von "Marte, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Modular Approach to Proving Confluence.

. FroCoS, Volume 2309 von Lecture Notes in Computer Science, Seite 33-48. Springer, (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Michael Marte

Gert Marte

Andreas Marte

Christof Marte

Marte Schinke

 

Weitere Publikationen von Autoren mit dem selben Namen

Soft Constraint Propagation and Solving in Constraint Handling Rules., , , und . Comput. Intell., 20 (2): 287-307 (2004)A Modular Approach to Proving Confluence.. FroCoS, Volume 2309 von Lecture Notes in Computer Science, Seite 33-48. Springer, (2002)University Course Timetabling Using Constraint Handling Rules., und . Appl. Artif. Intell., 14 (4): 311-325 (2000)University timetabling using constraint handling rules., und . JFPLC, Seite 39-50. Hermes, (1998)Soft constraint propagation and solving in CHRs., , und . SAC, Seite 1-5. ACM, (2002)Towards constraint-based school timetabling.. Ann. Oper. Res., 155 (1): 207-225 (2007)Models and Algorithms for School Timetabling---A Constraint-Programming Approach. Institute of Computer Science, LMU, Munich, Dissertation/Ph.\,D. thesis, (Juli 2003)http://www.pms.ifi.lmu.de/publikationen/dissertationen/PMS-DISS-2003-1/PMS-DISS-2003-1.pdf -- last visited $8^th$~March~2009.