Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Un nouveau traceur générique pour GNU-Prolog., und . JFPLC, Seite 97-110. Hermes/Lavoisier, (2003)Une vue méthodologique de la Programmation en Logique avec négation., und . SPLT, Seite 403-. (1989)Une sémantique opérationnelle algébrique de programmes PROLOG.. SPLT, (1983)Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning, und . CoRR, (2010)Towards a Generic Trace for Rule Based Constraint Reasoning, , , , und . CoRR, (2012)Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction., , und . Analysis and Visualization Tools for Constraint Programming, Volume 1870 von Lecture Notes in Computer Science, Seite 1-20. Springer, (2000)NSTO Programs (Not Subject to Occur-Check)., , und . ISLP, Seite 533-547. MIT Press, (1991)HyperPro: Un environment intégré de documentation pour la PLC., , , , und . JFPLC, Seite 257-270. Hermes, (2001)Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation., , , und . JFPLC, Seite 135-. (2002)Modélisation du flot de données par des schémas d'attributs dans les programmes logiques., und . SPLT, (1984)