PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Deransart, Pierre"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Une vue méthodologique de la Programmation en Logique avec négation.

, und . SPLT, Seite 403-. (1989)

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.

Pierre Nacke University of Stuttgart

Dr. rer. nat. Pierre Eckold University of Stuttgart

Pierre Kuna University of Stuttgart

 

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)Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs., und . ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, (1994)A Proof Manager for Verification of Logic Programs., und . LPE, Tekniske Høgskole, University of Trondheim, Trondheim, Norway, (1994)A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract)., , , und . JICSLP, Seite 540. MIT Press, (1996)