( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
HyperPro: Un environment intégré de documentation pour la PLC.

, , , , и . JFPLC, стр. 257-270. Hermes, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Pierre Venet

Pierre Nyabyenda

Pierre Gottschlich

Pierre Mattern

Pierre Mangold

 

Другие публикации лиц с тем же именем

Une sémantique opérationnelle algébrique de programmes PROLOG.. SPLT, (1983)Une vue méthodologique de la Programmation en Logique avec négation., и . SPLT, стр. 403-. (1989)Un nouveau traceur générique pour GNU-Prolog., и . JFPLC, стр. 97-110. Hermes/Lavoisier, (2003)Description par attributs sémantiques de Lisp pur et preuve de l'équivalence de la définition traductive et de l'évaluateur. rapport de recherche, 220. IRIA-Laboria, Rocquencourt, (марта 1977)Proof and Synthesis of Semantic Attributes in Compiler Definition. rapport de recherche, 333. IRIA-Laboria, Rocquencourt, (декабря 1978)Validation des grammaires d'attributs. thèse d'État, University de Bordeaux~I, (октября 1984)Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction., , и . Analysis and Visualization Tools for Constraint Programming, том 1870 из Lecture Notes in Computer Science, стр. 1-20. Springer, (2000)On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs., , , , , , и . AADEBUG, том 2 из Linköping Electronic Articles in Computer and Information Science, стр. 155-169. Linköping University Electronic Press, (1997)Logical Attribute Grammars.. IFIP Congress, стр. 463-469. North-Holland/IFIP, (1983)Prolog et types abstraits algébriques.. SPLT, (1982)